Choose
eff
ChooseCreation
eff
ChooseEffect
eff
ChooseEffectOps
choose
ChooseImplicits
eff
ChooseInterpretation
eff
ChoosePlus
eff
ChooseZero
eff
Correct
eff
catchError
ErrorInterpretation
catchLeft
XorInterpretation
XorEffectOps
catchWrong
ValidateInterpretation
ValidateEffectOps
choose
eff
syntax
chooseFrom
ChooseCreation
collapse
EffCreation
EffMonadicOps
continuation
Impure
ImpureAp
contramap
Arrs
correct
ValidateCreation
create
eff