[Haskell-cafe] Re: Quantifying Partial Type Annotations

[Ashley Yakeley]

Philippa Cowderoy wrote:
> I'd like to propose a new quantifier for type variables, which for now 
> I'll call unknown[1] - correspondingly I'll talk about "unknown-quantified 
> variables" and probably "unknown variables" where it's not ambiguous. 

Unqualified type variables are of course implicitly qualified "forall". 
In an ideal world, where compatibility with 98 were not an issue, they 
would be "unknown" and we wouldn't need an "unknown" keyword. But it's 
not, and it is, and they aren't, so perhaps we do...

-- 
Ashley Yakeley
Seattle WA