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

[Benjamin Franksen]

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