This gets the recursive calls to `subtype*`, which don't go back through `subtype`.