Control.Monad.Operational.Mini

data Program t a

interpret

cloneProgram

data ReifiedProgram t a

fromReified