Bug? [was: Implicit params]

[Simon Peyton-Jones]

| > this seems like a bug in GHC.   Hugs is happy with it.  The "s" in
the
| > pure2 signature is not ambiguous because it is determined when you
give
| > the value of the implicit parameter.  in fact the way i think about
| > implicit parameters is simply as a nice notation for computations in
the
| > environment monad, so in my mind the above two definitions are
pretty
| > much the same.
|=20
| Thanks Iavor!
| GHC people, can you confirm this, Is it a bug? I'm using Ghc 5.0.4
SuSE rpms.
| Is there a workaround?

Interesting.  I hadn't thought of that.  Yes, I think you can consider
it a bug, or at least the lack of a feature.  I'll fix it next week

S