qualified imports, PVP and so on (Was: add new Data.Bits.Bits(bitZero) method)

[Bardur Arantsson]

On 2014-02-25 18:26, Carter Schonwald wrote:
> indeed.
> 
> So lets think about how to add module types or some approximation thereof
> to GHC? (seriously, thats the only sane "best solution" i can think of, but
> its not something that can be done casually). Theres also the fact that any
> module system design will have to explicitly deal with type class instances
> in a more explicit fashion than we've done thus far.

This may be relevant:

   http://plv.mpi-sws.org/backpack/

Regards,