[Haskell-cafe] Overlapping/Incoherent instances

J. Garrett Morris jgmorris at cecs.pdx.edu
Sun Oct 12 16:30:07 EDT 2008

Hello everyone,

As part of a project to formalize the theory of overlapping instances,
I'm looking for examples of overlapping and incoherent instances and
their usage.  One such example would be the old version of the Monad
Transformer Library, which used overlapping instances together with
MonadTrans.  Any other examples or suggestions would be greatly



More information about the Haskell-Cafe mailing list