Scala type arguments do not conform to method eval's type parameter bounds

Question

I\'m developing Monad in Scala without type classes.

I have these traits for monad:

trait Monad[M[_], A] {
  def