Now a type belongs to only one interface