Giulio Canti

> The same applies for Task although we don't test the time of its value because we have no virtual scheduler This doesn't seem right as equality, `Task` is useful...

@raveclassic you can't define an `Eq` instance based on side effect execution. `IO`, `Task`, `Observable`... they are all just values, you can think of them as recipes for the runtime....

@jacobbogers alas, no

That would be awesome

@DrummerHead yes and no - yes because I'm glad someone is willing to make a translation - no because I have not read it (yet) (anyway this repo is MIT...

> hyper-ts is an experimental middleware architecture for HTTP servers written in TypeScript @gorillatron definitely not production-ready ([monthly downloads](https://npm-stat.com/charts.html?package=hyper-ts)), not much feedback so far.

@medfreeman Koa support was added by @leemhenson in v0.3, unfortunately I'm not acquainted with Koa so I removed its support in the last refactoring (I can't maintain other adapters other...

> Enforcing at least one parameter with typings might break existing code (that is working today) Agree, technically is a breaking change

@rpominov I'd be glad to help with the Flow typings, but I don't understand how all this should work. Perhaps a concrete implementation example, let's say `Maybe`, would be helpful

Another observation: even with the proposed changes I don't see how to encode in fantasy-land the following two monoids - `(number, *, 1)` - `(number, +, 0)` without modifying the...