Algebra.PartialOrd
Partial orderings
class
PartialOrd
a
partialOrdEq
Fixed points of chains in partial orders
lfpFrom
unsafeLfpFrom
gfpFrom
unsafeGfpFrom