- | ELam (x, t, e) => dBox [string "(\\", space 1, string x, space 1,
+ | ELam (x, NONE, e) => dBox [string "(\\", space 1, string x, space 1,
+ string "->", space 1, p_exp e, string ")"]
+ | ELam (x, SOME t, e) => dBox [string "(\\", space 1, string x, space 1,