Creates the monoid instance about matrix addition.
The count of rows.
The Monoid instance of addition.
Monoid
Creates the monoid instance about matrix addition.