I'm not familiar with Backpack, but reading about it [1], it looks like its goal is indeed to provide an OCaml-style module system to Haskell. [1] https://plv.

I'm not familiar with Backpack, but reading about it [1], it looks like its goal is indeed to provide an OCaml-style module system to Haskell. [1] https://plv.mpi-sws.org/backpack/ https://plv.mpi-sws.org/backpack/