Control.Monad.Trans.Operational.Mini
data ProgramT t m a
unProgram
cloneProgramT
interpret
data ReifiedProgramT t m a
fromReifiedT
transReifiedT
hoistReifiedT