#2309: containers: specialize functions that fail in a Monad to Maybe

Jonathan Cast jonathanccast at fastmail.fm
Wed May 28 21:40:22 EDT 2008

On 28 May 2008, at 1:14 PM, Twan van Laarhoven wrote:

> apfelmus wrote:
>> In any case, I prefer Maybe here as well because it's  
>> straightforward and simple. Every other abstraction is just a   
>> lift  away.
> Following this line of reasoning: why is  1  syntactic sugar for   
> fromIntegral 1? If 1 has type Integer then the generic value is  
> just a fromIntergal away!

That's a good point the other way --- I suspect, like most things  
Num, numeric literals were rather grand-fathered in than designed  
intentionally that way.


More information about the Libraries mailing list