sbool <A> matricesEqual(Matrix<A> a, Matrix<A> b) {
  ret eqMatrices(a, b);
}