The 2x2 identity: ones on the diagonal, zeros elsewhere.
Matrix2_Identity :: Matrix2.{ _11 = 1, _22 = 1 }