[alnayyir]

This is a property of many statically typed languages, and Haskell isn't known for being one of the more forgiving languages in that family.

I appreciate that his goals were more mathematically oriented than not, but surely he would've seen something like this coming?