{-# htermination print :: Show a => [a] -> IO () #-}