gistfile1.txt

trait Functor[F[_]] {
  def fmap[A, B](f: A => B): F[A] => F[B]
}

trait Extend[F[_]] extends Functor[F] {
  // coflatmap
  def extend[A, B](f: F[A] => B): F[A] => F[B]
}

trait Comonad[F[_]] extends Extend[F] {
  def copoint[A](a: F[A]): A
  override def fmap[A, B](f: A => B) =
    extend(q => f(copoint(q)))   
}

trait Functor[F[_]] {
  def fmap[A, B](f: A => B): F[A] => F[B]
}

trait Extend[F[_]] extends Functor[F] {
  // coflatmap
  def extend[A, B](f: F[A] => B): F[A] => F[B]
}

trait Comonad[F[_]] extends Extend[F] {
  def copoint[A](a: F[A]): A
  override def fmap[A, B](f: A => B) =
    extend(q => f(copoint(q)))   
}

case class Id[A](a: A)

object Comonad {
  val IdComonad: Comonad[Id] =
    // error: object creation impossible, since method extend in trait Extend of type [A, B](f: Id[A] => B)Id[A] => Id[B] is not defined
    new Comonad[Id] {
      def copoint[A](i: Id[A]) = i.a
    }
}