úΨ â      non-portable experimental'Fumiaki Kinsohita <fumiexcel@gmail.com> Safe-Inferred:Construct an operational action from a single imperative.    None!"!" RankNTypes experimental'Fumiaki Kinoshita <fumiexcel@gmail.com>None  Interpret a Program! using the given transformation.  #$%&'()*+,     #$%&'()*+, 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.4.2Control.Monad.Operational.ClassControl.Monad.Operational.TH$Control.Monad.Trans.Operational.MiniControl.Monad.Operational.Mini:! singletonmakeSingletonsReifiedProgramTLift:>>=ReturnProgramT unProgram interpret fromReifiedTReifiedProgramProgram 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 renameTypetyVars$fMonadTransReifiedProgramT$f:!tReifiedProgramT$fMonadReifiedProgramT$fApplicativeReifiedProgramT$fFunctorReifiedProgramT$fMonadTransProgramT $f:!tProgramT$fMonadProgramT$fApplicativeProgramT$fFunctorProgramTbaseGHC.BaseMonad$f:!tReifiedProgram$fMonadReifiedProgram$fApplicativeReifiedProgram$fFunctorReifiedProgram $f:!tProgram$fMonadProgram$fApplicativeProgram$fFunctorProgram