[andrekandre]

  > imports are all implicitly module-scoped, meaning that changing a single file means recomputing the types for all files in the module

i've noticed this too... i wonder if doing scoped importing helps with this for example:

  import struct MyModule.MyStruct

[JackYoustra]

iirc you can't do this for extensions which being a huge amount of compiler constraint resolution time

[andrekandre]

interesting, so maybe a good recommendation would be to not go overboard with too many public extensions... hmm...