{-# htermination compare :: () -> () -> Ordering #-}