Data.Cotraversable

class Cotraversable f