<=
eff
Member
_Choose
ChooseCreation
_ErrorOrOk
ErrorTypes
_Eval
EvalTypes
_Future
FutureCreation
_List
ListCreation
_Option
OptionCreation
_choose
ChooseCreation
_errorOrOk
ErrorTypes
_eval
EvalTypes
_future
FutureCreation
_list
ListCreation
_option
OptionCreation
|:
Effects
EffectsCons
NoEffect
|=
MemberIn
eff