[Haskell-cafe] The Related monad and constant values in type classes

Sean Leather leather at cs.uu.nl
Wed Feb 17 15:48:35 EST 2010

> What i want to know is if there is already
> something like this (and suggestions for improvement of course).


> Sometimes i find myself needing to associate a constant with a type
> or, more precisely, with a type class instance.

I'm not sure if this is what you're looking for, but it seems related.

Oleg Kiselyov, Chung-chieh Shan. "Functional pearl: Implicit
configurations-or, type classes reflect the values of types," in Haskell
2004. ACM, 2004, pp. 33-44.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100217/2ee8f832/attachment.html

More information about the Haskell-Cafe mailing list