It goes in that direction with https://ghc.haskell.org/trac/ghc/wiki/Backpack