A proof-of concept of type-safe version of futures crate. - View it on GitHub