Is this meant to be, `let TRAITS = the set consisting of any in-scope trait T where:`? (remove extra `of`)