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