RE: monad library

2) Instead of specifying which packages you want when you invoke the compiler, the compiler could automatically give you all you have installed.

GHC already does this, BTW. (with some small caveats, check the docs). Cheers, Simon