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