Lens<S, A>

typedefLens<S, A>=PLens<S,S,A,A>

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