There's a widespread belief that #haskell's module system is hierarchical. It isn't. The file system used to store modules is hierarchical, to the module system `Control.Monad` is just a name with dots.