The new module system for Haskell (GHC, to be precise)

https://ghc.haskell.org/trac/ghc/wiki/Backpack

https://plv.mpi-sws.org/backpack/backpack-poster.pdf