@tarunon associatedtypeって相互に推論されて減ったりしてない？