úÎÈ       non-portable experimental'Fumiaki Kinsohita <fumiexcel@gmail.com> Safe-Inferred:Construct an operational action from a single imperative.     RankNTypes experimental'Fumiaki Kinoshita <fumiexcel@gmail.com> Safe-Inferred  Interpret a Program! using the given transformation.  !"#$%&'()*     !"#$%&'()*None+,   +,  RankNTypes  experimental (Fumiaki Kinoshita <fumiexcel@gmail.com>  Safe-Inferred Reified version of . It is useful for testing. Program t is a -, that represents a sequence of imperatives.  To construct imperatives, use  :: t a -> Program t a.  Interpret a ! using the given transformation.  ./012345       ./0123456           !"#$%&'()*+,-./01234567minioperational-0.4Control.Monad.Operational.Class$Control.Monad.Trans.Operational.MiniControl.Monad.Operational.THControl.Monad.Operational.Mini:! singletonReifiedProgramTLift:>>=ReturnProgramT unProgram interpret fromReifiedTmakeSingletonsReifiedProgramProgram cloneProgram fromReified $f:!tErrorT $f:!tListT$f:!tIdentityT $f:!tMaybeT $f:!tRWST $f:!tRWST0 $f:!tWriterT $f:!tWriterT0 $f:!tContT $f:!tStateT $f:!tStateT0 $f:!tReaderT$fMonadTransReifiedProgramT$f:!tReifiedProgramT$fMonadReifiedProgramT$fApplicativeReifiedProgramT$fFunctorReifiedProgramT$fMonadTransProgramT $f:!tProgramT$fMonadProgramT$fApplicativeProgramT$fFunctorProgramT renameTypetyVarsbaseGHC.BaseMonad$f:!tReifiedProgram$fMonadReifiedProgram$fApplicativeReifiedProgram$fFunctorReifiedProgram $f:!tProgram$fMonadProgram$fApplicativeProgram$fFunctorProgram