A future forms a monad because if you have a future that returns a future that returns an X, then there's a standard transformation from that to a future that r

A future forms a monad because if you have a future that returns a future that returns an X, then there's a standard transformation from that to a future that returns an X