You'll have to simplify that for someone who doesn't know type theory :-> Looking at the Parametric Polymorphism article on Wikipedia, that indicates that impl

You'll have to simplify that for someone who doesn't know type theory :-> Looking at the Parametric Polymorphism article on Wikipedia, that indicates that implementing it produces generic functions and generic datatypes, which is what I'm talking about here. Sadly, beyond about the third sentence of that article I'm lost :->