Creates an isomorphic lens for converting between two equivalent data representations.
The source type.
The target type.
Function to convert from T to U.
T
U
Function to convert from U back to T.
Creates an isomorphic lens for converting between two equivalent data representations.