I have no idea why you're trying to claim that "monadic promises"
won't strip out *all* the levels, only the outermost.
believe that the presence of Future.resolve() would lead to bugs.
> * A Monadic promise system would have Q.fulfill, p.map, and p.flatMap.
> Q.fulfill, Q, and p.then.
> p.then: Promise<T> -> (T -> U) -> Promise<V>  // WTF?
usage, but less convenient for people writing more generic code.
you ignore that for the most part).
> autolifting, and vice versa. We need to make a choice.
In reply to: Mark S. Miller: "The Paradox of Partial Parametricity"
Next in thread: Tab Atkins Jr.: "Re: The Paradox of Partial Parametricity"
Reply: Tab Atkins Jr.: "Re: The Paradox of Partial Parametricity"