Foldr Fusion Proofs.