Scala approximation of https://gist.github.com/lazyvalue/af7cd9562937e75c2eaf

gistfile1.scala

import scalaz._
import Scalaz._
object MyApp extends App{
  type Scott[V] = EitherT[Option,String,V]
  type ScottI = Scott[Int]

  def myf: Int => ScottI = _.point[Scott]

  def lar: ScottI = for{
    x <- myf(4)
    y <- myf(9)
  } yield y + x
 
  println("lar lar lar")
  print(lar.run.get)
}