Data.Comp.Param.Ditraversable

class Ditraversable f