Ora
Category: Functional Programming
What is the universal property of fold?
