ListEffect
eff
ListFold
WriterInterpretation
Loop
Interpret
left
DisjunctionCreation
local
ReaderCreation
localTagged
ReaderCreation