Same here. The  thing I worry about is that `identity_identity` need not be just an instantiation of `left_identity' or `right_identity`, but something non-trivial that causes trouble somewhere. @mikeshulman ?