Control.Effect.Witness

class EffectWitness s l

data Witness s a

runWitness

data Token s a

newToken