Proposal: Slim base-5 API package

Henning Thielemann lemming at
Wed Jul 17 09:46:59 CEST 2013

On Wed, 17 Jul 2013, Bardur Arantsson wrote:

> On 2013-07-16 23:45, Henning Thielemann wrote:
>> I think his wish was to ensure that e.g. 'map' has the same type in GHC,
>> fay, JHC and others, although it might be implemented differently (with
>> foldr/build, or stream-fusion, or whatever).
> Exactly!
> (But perhaps I'm just a natural pessimist -- it may not matter much in
> practice.)

I guess that it can happen easily, that a function type has different 
class constraints based on the implementation. A type enforced by the 
'base' package would avoid that people rely on weak constraints of a 
certain implementation.

More information about the Libraries mailing list