arrow-optics / arrow.optics / Lens
typealias Lens<S, A> = PLens<S, S, A, A>
typealias Lens<S, A> =
PLens
<S, S, A, A>
Lens is a type alias for PLens which fixes the type arguments and restricts the PLens to monomorphic updates.
Do you like Arrow?