With such a strong type system there’s a potential for some really powerful developer tools and explorers based on static analysis.
Are there any notable projects working on this? Being able to explore more visually the type system would be a good first tool. Ie. Explore how your application data is modelled, how modules depend on each other, etc.