We liked the name and thought it was funny so we kept it.

It is funny, and I really like the reference.

... , which I'm always surprised that the functional programming community seems mostly unaware of.

Oh, I should have clicked on the Hypothesis link in the first paragraph. Thanks for pointing that out!

Edit: And it makes me smile that there was a long thread about it.