type family SetEqual as bs :: Constraint

type family Subset as bs :: Constraint

type family Elem a bs :: Constraint