instance (Ring.C a, Arity m, Arity n, m ~ n) => Ring.C (Mat (S m) (S n) a) where
-- The first * is ring multiplication, the second is matrix
-- multiplication.
instance (Ring.C a, Arity m, Arity n, m ~ n) => Ring.C (Mat (S m) (S n) a) where
-- The first * is ring multiplication, the second is matrix
-- multiplication.