Data.Monoid.Inf
data Inf p a
type PosInf a
type NegInf a
minimum
maximum
posInfty
negInfty
posFinite
negFinite