import Verilude

askName : Console m => m ()
askName = do
  putLine "What's your name? "
  name <- getLine
  putString "Hello, "
  putString name
  putChar '!'
  putChar '\n'

main : IO ()
main = askName