NOTE: the latest version is 11.2.0
Order Maybes
Order
Maybe
Order Nothing < Just
Nothing
Just
import Int.Order Maybe.Order.nothingJust Int.Order.increasing (Just -99999) Nothing --> GT
OrderNothing<Just