Impure
eff
Interpret
eff
IntoPoly
eff
IntoPolyLower
eff
impure
Eff
init
Loop
StateRecurse
Fold
inject
Member
interpret
Interpret
interpret1
Interpret
interpretLoop
Interpret
interpretLoop1
Interpret
interpretState
Interpret
interpretState1
Interpret
into
EffOps
intoEff
IntoPolyLower
intoNoEff
IntoPoly