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