Control.Monad.Operational.Interpret

data Around m instr

mapProgramT

interpretWithMonadT

interpretAroundMonadT