Having to import every intermediate type gets a little boring.

It would be nice to have 'import from List'
So that something like

foo := ["1"]

would infer as "List String"