Prism<S, A>

typedef Prism<S, A> = PPrism<S, S, A, A>

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