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