I wonder if it would be a good idea to have a special `Show` instance for `Union Identity`. It could unwrap the `Identity` before using the underlying `Show` instance for the type.
I wonder if it would be a good idea to have a special
Showinstance forUnion Identity.It could unwrap the
Identitybefore using the underlyingShowinstance for the type.