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