[chrismonsanto]

That's a new turn of the phrase for me. I've only ever heard the expression "second-class parametric polymorphism" used in reference to enforcing predicativity (which does not rule out polymorphic recursion)

[catnaroek]

Ah, I might be wrong, then. Pretend I said “let” instead of “second-class”.