Data.Profunctor.Mapping
class Mapping p
data CofreeMapping p a b
data FreeMapping p a b
traverseMapping
closedMapping