and the ambiguity of

Collection.of(A)

to

Collection.of(B)

is resolved, because the rule that uses

SelectRecursive

would be able to define an unambiguous output type