[Merged by Bors] - chore: split Subsingleton,Nontrivial
off of Data.Set.Basic
#27197
Loading
Subsingleton,Nontrivial
off of Data.Set.Basic
#27197