Invert subtype of arrow type.