Ensure that, for every trait `Foo`, the predicate `Foo : Foo` holds.