Re: [Haskell-cafe] ANNOUNCE: new bridge! (prelude-prime)

On Thu, May 23, 2013 at 3:07 AM, Roman Cheplyaka wrote:

Pull requests are welcome, but let's stick to widely agreed changes (like the Foldable/Traversable one). I think one of the reasons why other Preludes haven't been adopted is because they were too radical.

* Andreas Abel [2013-05-20 13:26:05+0200]

...

Maybe instead of fiddling with the current Prelude (which might break backwards compatibility), we should design a new prelude which is not automatically loaded but contains roughly the current prelude (with the list functions generalized to collections) plus the "modern" type class stack: Functor, Applicative, Monad, Foldable, Traversable, Monoid etc.

Is this strategy adequate for attacking the issue of the type class stack, though? Defining, say, a new Monad class with the desired Functor constraint wouldn’t be of much use, as everything else on Hackage (and on the GHC libraries!) would still use the “real” Monad. I still see value in this package — a conservative extension to the Prelude would certainly come in handy. Thanks!