Though Haskell's module system is somewhat a wart of the language, and I say this as someone who loves Haskell. "Hierarchical" modules in Haskell2010 are literally just modules with periods in the name, and it lacks the power of ML and Agda's parameterized modules. The other major wart with Haskell to me is the record types.