module Prelude where data Ordering = LT | EQ | GT