module Data.Ordering_Type(Ordering(..)) where data Ordering = LT | EQ | GT