Slide 46
Slide 46 text
scala> type EitherTString[M[_],A] = EitherT[M,String,A]
defined type alias EitherTString
scala> val items = eitherT[List,String,Int](List(1,2,3,4,5,6).map(Right(_)))
items: scalaz.EitherT[List,String,Int] = ...
* adding features to a “embedded language”