Lens<S, A>

typedef Lens<S, A> = PLens<S, S, A, A>

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