foldr
proofiness