diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,4 @@
+0.9.4: Added utility functions to Operational monad
 0.9.3: Added applicative and functor instances
 0.9.2: Fixed stupid spelling error
 0.9.1: Small docs fix
diff --git a/Control/Monad/Operational/Reflectable.hs b/Control/Monad/Operational/Reflectable.hs
--- a/Control/Monad/Operational/Reflectable.hs
+++ b/Control/Monad/Operational/Reflectable.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE ExistentialQuantification,GADTs #-}
+{-# LANGUAGE ExistentialQuantification,GADTs,Rank2Types #-}
 
 
 -----------------------------------------------------------------------------
@@ -49,6 +49,17 @@
 instance Monad (Program r) where
   return = fromView . Return
   (Program t s) >>= f = Program t (s |> TC f)
+
+instr :: r x -> Program r x
+instr r = fromView $ Bind r return
+
+interpretWithMonad :: Monad m => (forall a. r a -> m a) -> Program r b -> m b
+interpretWithMonad f = loop where 
+  loop m = case toView m of
+       Return x -> return x
+       Bind i c -> f i >>= loop . c
+ 
+
 
 instance Functor (Program r) where
   fmap = liftM
diff --git a/reflection-without-remorse.cabal b/reflection-without-remorse.cabal
--- a/reflection-without-remorse.cabal
+++ b/reflection-without-remorse.cabal
@@ -1,5 +1,5 @@
 Name:                reflection-without-remorse
-Version:             0.9.3
+Version:             0.9.4
 Synopsis:	         Efficient free and operational monads.
 Description:         Free and operational monad that efficiently support alternating between building and observing.
 License:             BSD3