XProxy extends X with Proxied[X] reads better than XProxy extends Proxied[X] with X