https://profilbaru.com/article/Nominal_type_system