F-ing modules.

Andreas Rossberg Claudio V. Russo Derek Dreyer F-ing modules. 89-102 2010 TLDI http://doi.acm.org/10.1145/1708016.1708028 conf/tldi/2010 db/conf/tldi/tldi2010.html#RossbergRD10