Add Dsl instances for ReaderT

build.sbt

@@ -190,6 +190,8 @@ lazy val `domains-scalaz` =
       Dsl,
       `macros-Reset` % Test,
       `keywords-Monadic`,
+      `keywords-Get`,
+      `keywords-Put`,
       `keywords-Return`,
       `keywords-TryCatch`,
       `keywords-TryFinally`,

domains-scalaz/src/main/scala/com/thoughtworks/dsl/domains/scalaz.scala

@@ -6,8 +6,16 @@ import com.thoughtworks.dsl.Dsl.!!
 
 import scala.language.higherKinds
 import scala.language.implicitConversions
-import _root_.scalaz.{Applicative, Bind, Monad, MonadError, MonadTrans}
-import com.thoughtworks.dsl.keywords.{Monadic, Return}
+import _root_.scalaz.{
+  Applicative,
+  Bind,
+  Kleisli,
+  Monad,
+  MonadError,
+  MonadTrans,
+  ReaderT
+}
+import com.thoughtworks.dsl.keywords.{Get, Monadic, Put, Return}
 
 import scala.util.control.Exception.Catcher
 import scala.util.control.NonFatal
@@ -206,6 +214,11 @@ object scalaz extends scalaz.LowPriority0 {
     monadTrans.liftM(_)
   }
 
+  // ReaderT/Kleisli's type parameter order does not support partial unification for MonadTrans
+  given [E, F[_], A, B]: Dsl.Lift.OneStep[F[A], Kleisli[F, E, A]] = { fa =>
+    Kleisli(_ => fa)
+  }
+
   /** The [[Dsl]] instance that converts a [[domains.Monadic]] keyword to the
     * monad domain type then flatMap. This instance helps when the keyword
     * supports a domain `D` that can be lifted to the `F[A]`, while there is not
@@ -222,4 +235,18 @@ object scalaz extends scalaz.LowPriority0 {
       )
     }
 
+  given [E, F[_], A]: Dsl.Original[Get[E], ReaderT[E, F, A], E] = Dsl.Original {
+    (keyword, handler) =>
+      ReaderT { e =>
+        handler(e)(e)
+      }
+  }
+
+  given [E, F[_], A]: Dsl.Original[Put[E], ReaderT[E, F, A], Unit] =
+    Dsl.Original { (keyword, handler) =>
+      ReaderT { _ =>
+        handler(())(Put.apply.flip(keyword))
+      }
+    }
+
 }