DerivedMonadFromEndo

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

trait Monoid[F[_]] {
	//boils down to F.pure(identity)
	def identity[A]: F[A => A]
	//This combine is 'higher' order http://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-issue'
	def combine[F[_] : Functor, A](ffa: F[F[A]]): F[A]
}


trait MMonoid[F[_] : Functor, A] extends Monoid[F]

trait DerviedMonad[F[_]] extends MMonoid[F, A] with Monad[F] {
	def pure[A](a: A): F[A] = map(identity)(_ =>  a)
	def flatMap[B](fa: F[A])(f: A => F[B]): F[B] = combine(map(fa)(f))
}