[Haskell-cafe] Re: Improving MTL instances (was: Overlapping/Incoherent instances)

2008-10-13 Thread Don Stewart
ryani.spam: On Mon, Oct 13, 2008 at 2:04 AM, J. Garrett Morris [EMAIL PROTECTED] wrote: Indeed - MTL seems to have been rewritten at some point in the past to prefer exhaustive enumeration to overlap. Indeed, and I actually think this is a weakness of the current implementation. Anyone

[Haskell-cafe] Re: Improving MTL instances (was: Overlapping/Incoherent instances)

2008-10-13 Thread J. Garrett Morris
On Mon, Oct 13, 2008 at 12:29 AM, Ryan Ingram [EMAIL PROTECTED] wrote: Of course, the point of this message isn't just to complain. The overlap implementation was abhorrent and it *is* better now than it was before. I'm curious what you find abhorrent about the overlap implementation that was

Re: [Haskell-cafe] Re: Improving MTL instances (was: Overlapping/Incoherent instances)

2008-10-13 Thread Iavor Diatchki
Hello, The currently released version of monadLib does not use overlapping instances, indeed. However, in the monadLib repo (http://github.com/yav/monadlib) there is a file called MonadLib4.hs which contains a version of the library that is implemented with overlapping instances, so you can play