>>615
has a で is implemented in terms of 関係を実装するなら
普通にある形だと思いますけど。