gistfile1.scala

def twice: Int => Option[Int] = i => Some(i * 2)
def stringit: Int => Option[String] = i => Some(i.toString)

val kleislish: Int => Option[String] =
  Kleisli.ask[Option, Int] >=> Kleisli(twice) >=> Kleisli(stringit)

type KInt[M[+_], A] = Kleisli[M, Int, A]

val forcomprehensionish: Int => Option[String] =
  for {
    i  <- Kleisli.ask[Option, Int]
    ii <- twice(i).liftM[KInt]
    s  <- stringit(ii).liftM[KInt]
  } yield s