> How would you use type annotations to show that `square` accepts a matrix (as well as an int, float, rational number etc.)? Semi-seriously: by specifying the

> How would you use type annotations to show that `square` accepts a matrix (as well as an int, float, rational number etc.)? Semi-seriously: by specifying the input type is a Monoid.