Setter<S, A>

typedef Setter<S, A> = PSetter<S, S, A, A>

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