#2309: containers: specialize functions that fail in a Monad to
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