huitseeker

object MyApp{
  trait ApplicativeFunctor[A, F[A]] {
    def apply[X](a:X): F[X]
    def map[B](f: A => B): F[B]
  }

  trait Monad[A, M[A]] extends ApplicativeFunctor[A, M] {
    def flatMMap[B](f: A => M[B]): M[B]
  }