module Hello (hello) where hello :: IO () hello = forall a. Show a => a -> IO () print String "Hello world!"