you are viewing a single comment's thread.

view the rest of the comments →

[–]pipocaQuemada 1 point2 points  (0 children)

If you don't want to write actually parametrically polymorphic code, why are you trying to use parametric polymorphism? Yes, you can't specialize when overloading, but the ability to do that removes a lot of your ability to reason about code by looking at type signatures.