> having idents with the same name of the module. Is an excellent way to trigger mysterious bugs that seem to disappear when you want to report them in the issue tracker.
Unfortunately for now the best advice is "don't do that" but ideally I'd like a warning "[Warning]: Type 'foo' is shadowing a module 'foo'".
