1     None(C) 2012-2013 Fumiaki Kinoshita BSD-style (see the file LICENSE)'Fumiaki Kinsohita <fumiexcel@gmail.com> experimental non-portableNone &23468JK (C) 2012-2013 Fumiaki Kinoshita !BSD-style (see the file LICENSE) (Fumiaki Kinoshita <fumiexcel@gmail.com>  experimental  RankNTypes None!"&(2346=HJKMReified version of . It is useful for testing. Program t is a L that represents a sequence of imperatives. To construct imperatives, use  :: t a -> Program t a.  Interpret a ! using the given transformation.   !"#      !"#(C) 2013 Fumiaki Kinoshita BSD-style (see the file LICENSE)'Fumiaki Kinoshita <fumiexcel@gmail.com> experimental RankNTypesNone!"&(2346=HJKM Interpret a Program using the given transformation. $%&'()*+,-      $%&'()*+,-.           !"#$%&'()*+,-./minioperational-0.4.8Control.Monad.Operational.THControl.Monad.Operational.ClassControl.Monad.Operational.Mini$Control.Monad.Trans.Operational.MinimakeSingletons:! singletonReifiedProgram:>>=ReturnProgram unProgram interpret cloneProgram fromReifiedReifiedProgramTLiftProgramT unProgramT cloneProgramT fromReifiedT transReifiedT hoistReifiedT renameTypetyVarsbaseGHC.BaseMonad$fTowerReifiedProgram$fMonadReifiedProgram$fApplicativeReifiedProgram$fFunctorReifiedProgram$fTowerProgram$fMonadProgram$fApplicativeProgram$fFunctorProgram$fMonadTransReifiedProgramT$fTowerReifiedProgramT$fMonadReifiedProgramT$fApplicativeReifiedProgramT$fFunctorReifiedProgramT$fMonadTransProgramT$fTowerProgramT$fMonadProgramT$fApplicativeProgramT$fFunctorProgramT