@fancy-queen-20734 : so, is there any position in a Selector where a type constraint can't be used? or is it constraints all the way down