Data.Semiring.Infinite
class HasPositiveInfinity a
class HasNegativeInfinity a
data NegativeInfinite a
data PositiveInfinite a
data Infinite a