0
I'm working on arrow library for scala
I've come with some new typeclass, which looks like generalized Functor
trait Project[F[_]] extends Functor[F]{
def project[=>:[_,_], A, B](f: A =>: B)(implicit ar: ArrowChoice[=>:]): F[A] =>: F[B]
def map[A, B](fa: F[A])(f: A => B): F[B] = project[Fu...