Very similar to our Keep 87 proposal in terms of s...
# arrow
r
Very similar to our Keep 87 proposal in terms of syntax witness :
Copy code
trait Monad[F[_]] extends Functor[F] {
    def flatMap[A, B](this x: F[A])(f: A => F[B]): F[B]
    ...
}
witness ListMonad for Monad[List]