uniqueness of types