pub type SimpleIso<S, A> = Iso<S, S, A, A>;
A simple (monomorphic) iso where S == T and A == B.
S == T
A == B
pub struct SimpleIso<S, A> { /* private fields */ }