greeting "Hello" "World" :: IO ()
    greeting "Hello"         :: String -> IO ()
    greeting                 :: String -> String -> IO ()