lol

"Please" is the magic word.

Thanks :).

I like the zipWith tail trick, I'll have to remember that for code golf.

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.