[Haskell-cafe] Removing polymorphism from type classes (viz. Functor) (Again)

Ivan Lazar Miljenovic ivan.miljenovic at gmail.com
Sat Aug 14 07:27:05 EDT 2010

Alexey Karakulov <ankarakulov at gmail.com> writes:

> (Ord b) must be deduced from (Functor (Set b)) but it doesn't. I don't know
> whether it's my mistake somewhere or ghc problem.

I've come across this problem as well; the best solution I've seen so
far is the one taken by Ganesh in his rmonad library:

Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com

More information about the Haskell-Cafe mailing list