extension Matrix where B == DefaultMatrixImpl<A> {} においてMatrixの制約からA == B.BaseRingとなるので、 B == DefaultMatrixImpl<B.BaseRing>となって循環しているのではないでしょうか