The currying isomorphism between functions of n variables and n+1 variables.

The isomorphism whose view and review are both identity. If the optic is not an isomorphism then it throws an exception.

Swaps view and review for an isomorphism. If the input is not an isomorphism then it throws an exception.

Constructs an isomorphism from a pair of functions which are inverse to each other.