[Haskell-cafe] Monad for Set?

Vitaliy Akimov vitaliy.akimov at gmail.com
Tue Aug 7 03:41:29 EDT 2007

> If you also read the rest of that thread, you'll see that with a recent
> GHC HEAD, you should be able to avoid the need for the Teq witness.

here is solution which doesn't require GADT and HEAD, but it does
require changing of monad interface.
This trick is used in SYB3.

More information about the Haskell-Cafe mailing list