Typing in the Haskell et. al. tradition don't like subtyping. And they also like their parametericity.