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