Form an Iso that is the identity for almost all inputs, except it will swap either of the arguments for the other. It is the same function in both directions.
Iso
the value that will be turned into r
r
the value that will be turned into l
l