Nominal types are structural types