⁴There is one exception to this rule: conversions from a subdomain to a domain are automatic. After all, the objects both have the domain as a common type.