Revisiting Rust's modules

There’s been some interesting work on module systems, by authors who (conveniently enough) are also working on Rust stuff. In particular, MixML (which gave rise to Backpack for Haskell), and what seems to be an in-progress successor 1ML.

I’d definitely be interested in hearing Derek Dreyer’s thoughts on the intersection of those projects and Rust.

Also, you seem to have a formatting issue in one of the headings: An example of misalignment: facades in **futures**