map -package:containers -package:dense-linear-algebra -package:charset -package:ghc -package:conduit -package:foldl -package:basement -package:psqueues package:invertible -is:exact

Apply a bijection over a list using map.
Map each element to a monoidal and sequenceI_ the results.
Map each element to a Maybe monoidal and sequence the results (like traverse and mapMaybe).
Transform the type constructor within a Free.
Default invertible Functor implementation for simple non-invertible Functors.
Lift both sides of an bijection over a functor using fmap. We name this bifmap in deference to the more useful fmap.
Apply a bijection over an Invariant using invmap.