greeting :: String -> String -> IO ()