Data.Comp.Param.Difunctor
difmap
class
Difunctor
f