Identity is parametric type checks