Control.Monad.Trans.Operational.Mini

data ProgramT t m a

unProgram

interpret

data ReifiedProgramT t m a

fromReifiedT

transReifiedT

hoistReifiedT