parametrized extension ができるようになればもっとシンプルに書けるんですが…w

3:43 AM

extension <V1: VectorSpace, V2: VectorSpace, W: VectorSpace> BilinearMap: BilinearMapType where Domain == ProductVectorSpace<V1, V2>, Domain.CoeffRing == Codomain.CoeffRing { }

これで済むと思います。