reasonable-lens-0.2.1.0: Lens implementation. It is more small but adequately.
Control.Lens.Lens
module Control.Lens.Getter
module Control.Lens.Setter
type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t Source