Control.Monad.Operational.Interpret

data Around m instr

data ApplyInstr m instr

mapProgramT

hoistProgramT

interpretWithMonadT

interpretAroundMonadT