gistfile1.txt

import scalaz.{Functor, Monad}
import scalaz.std.option._
import scalaz.syntax.monad._
import scalaz.syntax.functor._

object SyntaxExamples {
  // This works fine
  Monad[Option].lift((x: Int) => x + 1)
  
  //  could not find implicit value for parameter F: scalaz.Functor[F]
  ((x: Int) => x + 1).lift

  //  polymorphic expression cannot be instantiated to expected type;
  //  found   : [A, B](fa: Option[A])(f: A => B)Option[B]
  //  required: scalaz.Functor[F]
  ((x: Int) => x + 1).lift(Functor[Option])
}