(Though I suppose that the type check could probably be squashed if comparing parents... Anyway...)