We can even fully infer types if you're willing to accept some quite reasonable restrictions on how polymorphic your code is. Personally, I don't consider "don

We can even fully infer types if you're willing to accept some quite reasonable restrictions on how polymorphic your code is. Personally, I don't consider "don't pass a polymorphic function to another polymorphic function" and "don't demand a polymorphic function as an argument" to be all that reasonable.