I know it's just a blog post, but the section on "Parametric Polymorphism" says that the same code executes for any type. But in the example given, "a > b" wil

I know it's just a blog post, but the section on "Parametric Polymorphism" says that the same code executes for any type. But in the example given, "a > b" will evaluate to entirely different operations depending on the type, and in fact only works because of the other types of polymorphism. Since this is such a common situation, I might not make it a first class citizen in the taxonomy.