On Mon, 19 Nov 2007, Brandon S. Allbery KF8NH wrote:
On Nov 19, 2007, at 15:47 , Radosław Grzanka wrote:
If you look at the stability tag of ghc libraries you will see that a lot of them are marked as "provisional" (Network.URI for example) or "experimental" (Control.Monad.Trans).
This may not refer to what most people care about; the "experimental" stability of Control.Monad.Trans is related to its use of fundeps and undecidable instances, and the possibility (likelihood?) of its being switched to type families (which "shouldn't" change its user-visible interface, as I understand it).
I like to see MTL split into a Haskell98 part and an advanced part. I mostly use functionality which would nicely fit into a Haskell98 interface and find it annoying that by importing MTL my code becomes less portable.