lol

Thanks :).

Include the boilerplate in a module hidden from the user, expand on the essence of the problem.

Introduce Lambda Calculus in better detail.

Another option would be to verify that sum works on Rationals rather than Doubles, unless they're already being tested.