While Idris doesn't have a module syntax, it's type system allows you to express ML modules with relative ease. It's not a great solution, but it's above Haskell in terms of this.