Data.Semiring
class
Semiring
s
fromBool
data
Numeric
a