{-# htermination fromEnum :: Ordering -> Int #-}