{-# htermination show :: Ordering -> String #-}