[Haskell-cafe] RE: why are implicit types different? (cleanup)

S. Alexander Jacobson wrote:

Ok, I'm not sure I understand the answer here, but how about a workaround. My current code looks like this:

tt = let ?withPassNet=wpn ?withPassNet'=wpn ?withPassNet''=wpn in passNet "passnet" ["user"] regImpl b

The type of wpn is:

wpn :: Ev PassNet ev a -> Ev State ev a

The individual implicit parameters end up arriving with concrete values for a. If I pass wpn to passNet explicitly, it also appears to get converted to a monotype on arrival at the inside of passNet.

So I guess the real question is, how do I pass a polytype* wpn?

Wrap it inside a newtype, maybe? Ben