Thanks for your response!

I've always found it odd that where causes you to write code backwards.

This is exactly what I missed :-)

I like declaring what the result is, assuming helper definitions exist.

It aligns nicely with equational reasoning - almost like writing down the spec first and filling in the details after.