Nominal type system
Last updated: 2026-08-18
https://en.wikipedia.org/wiki/Nominal_type_system
構造が一緒でも名前が別なら型は別