Data.Ranged.Boundaries
class DiscreteOrdered a
enumAdjacent
boundedAdjacent
boundedBelow
data Boundary a
above
(/>/)