(Partially) support supertraits with generic bounds