Control.Effect

class Effect m

fail

class Subeffect m f g