Effect

algebras

EffectOps

syntax

effect

EffectOps syntax