Data.Function.Between

Composability

Mapping Functions For Newtypes

Constructing Lenses

Related Work

Package profunctors

Package pointless-fun