Iso<S, A>

typedef Iso<S, A> = PIso<S, S, A, A>

A PIso where the source and target types are the same.