The 4x4 identity: ones on the diagonal, zeros elsewhere.
Matrix4_Identity :: Matrix4.{ _11 = 1, _22 = 1, _33 = 1, _44 = 1 }