#is_letter #pst ((pst #pst (Parser.Reply Char)) #pst.err #pst.nam #pst.ini #pst.idx #pst.str (((pst.str #pst.str (Parser.Reply Char)) (((((Parser.Reply.fail Char) pst.nam) pst.ini) pst.idx) "Unexpected eof.")) #pst.str.head #pst.str.tail ((((is_letter pst.str.head) # (Parser.Reply Char)) (((Parser.Reply.value Char) (((((Parser.State.new pst.err) pst.nam) pst.ini) (Nat.succ pst.idx)) pst.str.tail)) pst.str.head)) (((((Parser.Reply.fail Char) pst.nam) pst.ini) pst.idx) "Expected letter."))))