Supporting nested Maybe fields when generating Folds for acceptor predicates