Control.Monad.Operational.Class

class MonadProgram instr m

wrapT

liftP