The Trivial Equality

Composition with this isomorphism is occasionally useful when your Lens,
Traversal or Iso has a constraint on an unused
argument to force that argument to agree with the
type of a used argument and avoid ScopedTypeVariables or other ugliness.