Type1EffectfulOp

Effectful

Type2EffectfulOp

Effectful

Type3EffectfulOp

Effectful

Type4EffectfulOp

Effectful