Translate "Example: A Higher-Order Fun Puzzle"
Translate "Currying and Uncurrying"