I mean, you could end up with something similar to...

# getting-started

[fellshard]

I mean, you could end up with something similar to Scala's top-level type hierarchy, but that means rewriting the type system and losing Java type interop, afaik