Re: Drastic Prelude changes imminent

Oh, I agree in general. I just don't see the migration path towards this, because as you say, Data.List is generally imported unqualified and often without explicitly naming the imported identifiers. The only thing I can think of is to generalize Data.List when generalizing the prelude, but also introduce e.g. Data.List.Mono which has all the monomorphic variants. Erik On Tue, Jan 27, 2015 at 5:21 PM, Christopher Done <chrisdone@gmail.com> wrote:

There's precedence for this, I think: Data.Map, Data.Vector, Data.List all export monomorphic functions. It's just we don't import Data.List as L because lists are given special treatment by Haskell 2010. It makes sense for Prelude to be polymorphic to me.