HasType2 and users now use Maybe<type::ID>