Number.Peano
data T
infinity
err
add
sub
subNeg
mul
fromPosEnum
toPosEnum
ifLazy
argMinFull
argMin
argMinimum
argMaxFull
argMax
argMaximum
isAscendingFiniteList
isAscendingFiniteNumbers
toListMaybe
glue
isAscending
data Valuable a
increaseCosts
(&&~)
andW
leW
isAscendingW
notImplemented