Translate "Example: A Higher-Order Fun Puzzle"