Ne4to777

Profunctor should require Contravariant

10

I think it should be something like this: 

Wrong fork method signature

1

Docs: `:: Future e a ~> (e -> ()) -> (a -> ()) -> ()` Code: `Future.prototype.fork = function(reject, resolve) {` ` this._fork(reject, jail(reject, resolve));` `};` Should be: `:: Future...

Can`t realize ap composition

1

Fantasy Land spec: `v.ap(u.ap(a.map(f => g => x => f(g(x)))))` is equivalent to `v.ap(u).ap(a)` (composition) Implementation: `const v = Future.of(x => y => x + y)` `const u = Future.of(1)`...

To better constraining. Just a sketch to understand an idea.