Data.Monoid.PosInf
data
PosInf
a
minimum