[Haskell-cafe] Re: A type class puzzle

2006-11-12 Thread Chung-chieh Shan
Yitzchak Gale [EMAIL PROTECTED] wrote in article [EMAIL PROTECTED] in gmane.comp.lang.haskell.cafe: replace0 :: a - a - a replace1 :: Int - a - [a] - [a] replace2 :: Int - Int - a - [[a]] - [[a]] This message is joint work with Oleg Kiselyov. All errors are mine. Part of what makes this

[Haskell-cafe] Re: A type class puzzle

2006-10-31 Thread Arie Peterson
Greg Buchholz wrote: I guess it just looks really strange to my eyes. For example, foo and bar are legal, but baz isn't. That's what I was thinking of the situation, but I guess the type classes iron out the differences. Ah, but here 'baz' is illegal because of the (somewhat arbitrary)