Pretty-printer folds binders but parser can't parse it
This term :
lambda x y. Ex a. Ex b. x a & y b
is printed :
lambda x y. Ex a b. x a & y b
The pretty-printer folds the binder syntax, as it does with function variables. But the parser can't parse this syntax and will give an error.