Data.Semiring

class Semiring s

fromBool

data Numeric a