the type exists in both