woops, you would need:
`def *[C2](that: Matrix[C, C2, V])(implicit ring: Ring[V]): ...`