Proposal: Slim base-5 API package

[Henning Thielemann]

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.