Control.Monad.Operational.Interpret

data Around m instr

mapProgramT

hoistProgramT

interpretWithMonadT

interpretAroundMonadT