[Haskell-cafe] "mapping" an Enumerator

[Erik de Castro Lopo]

Kannan Goundan wrote:

> You're right -- now that I think about it, I don't really care what the 
> type of 'r' is.  (Boy, I could have saved several hours today if I had 
> realized that earlier :-)

I seem to be hitting exactly the same problem. I constrain my types
too early and the compiler can't find a solutuon. If I then relax the
cionstraints, GCH says "ok, here's something that fits",

> Wonder if I can use a "forall" in the definition of MyRequestBody to fix 
> things without introducing an externally visible type parameter...

That may indeed help.

Erik
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/