Start :: *World -> (String, *World)
Start w
# (f, w) = stdio w
+#! (_, w) = readHistory "readline.history" w
#! (s, w) = readLine "first prompt: " True w
#! (s, w) = readLine "uparrow should word with history: " False w
+#! (_, w) = writeHistory "readline.history" w
= (s, w)