Subtype vs. parametric.