foreign import data IO :: * -> *

foreign import fmap :: forall a b. IO a -> (a -> b) -> IO b

foreign import ret :: forall a. a -> IO a

foreign import bind :: forall a b. IO a -> (a -> IO b) -> IO b

foreign import showMessage :: String -> IO { }

foreign import prompt :: IO String

main = prompt `bind` \s -> showMessage s