Control.Monad.Trans.Order.Strict
type Order o
evalOrder
evalOrderWith
data OrderT o m a
evalOrderT
force
data Element o
newMinimum
newMaximum
newAfter
newBefore
lazyToStrictOrderT
strictToLazyOrderT