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