(String.concat String.nil         ys) = ys
(String.concat (String.cons x xs) ys) = (String.cons x (String.concat xs ys))

(Main n) =
  (HVM.print "What is your name?"
  (HVM.query λname
  (HVM.print (String.concat "Hello, " name)
  (Done))))