Comment by xenophonf

That's the standard type system in Common Lisp.

As for whether Common Lisp supports parametricity, I don't know. It might be one of those things that isn't difficult to implement on your own, like design-by-contract or AMOP.