Control.Coeffect

class Coeffect c

class CoeffectZip c

class Subcoeffect c s t