{-# htermination print :: Ordering -> IO () #-}