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