konsumlamm

Why not just allow general imports at local scope?

This would be very useful! Does this require an RFC? I don't think it is controversial, but still.

@ZetaNumbers do you still plan to work on this?

Do you want me to revive #162 or is that just an observation?

With #168 merged, the CI now runs miri tests with all features.

Can someone explain why this happens? Is `file.write("hello")` inferred as the `string` argument?

IMO "completion" is not good terminology for documentation. I've never seen it being used in the context of Haskell before and it's not self-explanatory, so I doubt most people will...

Ah, you should have said that you made it up! I'd just say "making the total version/counterpart". I don't think it helps to invent a word for it.

I know this is still WIP, but I don't think duplicating the code is a good idea maintenance-wise. Almost every change would have to be made in two places then....

> the module should be `std/wintypes`, not `windows/wintypes` to abide to the rule that new modules are under `std/`; furthermore, the fact that it's windows-specific is already implicit in the...