It's possible for two types, which are isomorphic, to be added to the