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