[Haskell-cafe] strange type mismatch when trying to use takusen

Seth Gordon sethg at ropine.com
Fri Nov 24 12:37:53 EST 2006


Taral wrote:
> Ah, the dreaded $ with existential types problem. $ is not quite
> equivalent to application -- the type checker does something funny
> with forall types. Just take out the $ and you'll be fine.
> 

Is this a ghc bug, or some subtlety of the type system that I don't 
understand?


More information about the Haskell-Cafe mailing list