A modest proposal

Hello Happy Haskellers, I would like to humbly suggest that we replace all Int functions in the prelude with the corresponding generic ones. These are: drop, take, length, splitAt, replicate and (!!). If at all possible it would be grand if we replaced the ones in Data.List (such as elemIndex)

Re: FDs and confluence

Hello, On 4/13/06, Ross Paterson [EMAIL PROTECTED] wrote: They are equivalent, but C [a] b d, Num c and C [a] c d, Num c are not. I agree that this is the case if you are thinking of forall a b c d. (C [a] b d, Num c) = (C [a] c d, Num c) Here is a counter example (assume we also add an

Re: A modest proposal

On Sat, Apr 15, 2006 at 07:15:28PM +1000, Hoan Ton-That wrote: Hello Happy Haskellers, I would like to humbly suggest that we replace all Int functions in the prelude with the corresponding generic ones. These are: drop, take, length, splitAt, replicate and (!!). If at all possible it