[padator]

One thing to consider though is the grepability of a codebase. By relying more on nested modules, module aliases, opens, local opens, then many constructors have more than one way to be written and it makes it harder for grep to find what you look for. Of course people should not use grep and instead rely on IDE or tools that understand deeply the programming language being edited ... which makes the problem I mentioned go away. But still it's nice to have the possibility to use simple tools like grep and that they would simply work.