==K => ==Type for comparing types.