Numeric.Order.LocallyFinite

class LocallyFiniteOrder a