úÎ &      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.  '()*+,-./0     '()*+,-./0 RankNTypes  experimental (Fumiaki Kinoshita <fumiexcel@gmail.com> NoneReified version of . It is useful for testing. Program t is a 1, that represents a sequence of imperatives.  To construct imperatives, use  :: t a -> Program t a.  Interpret a ! using the given transformation. 23456789   23456789:         !"#$%&'()*+,-./0123456789:;minioperational-0.4.5Control.Monad.Operational.ClassControl.Monad.Operational.TH$Control.Monad.Trans.Operational.MiniControl.Monad.Operational.Mini:! singletonmakeSingletonsReifiedProgramTLift:>>=ReturnProgramT unProgramT unProgram interpret fromReifiedT transReifiedT hoistReifiedTReifiedProgramProgram cloneProgram fromReified $f:!tExceptT $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