Proofs - Functional Programming MT22


Fold fusion