[Haskell-cafe] The Related monad and constant values in type
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...
More information about the Haskell-Cafe