id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
1634,Type signature normalization,kfrdbs@…,igloo,"{{{
t1 :: a->(forall b. b->(a,b)) 
-- isn't this the same as forall a b. a->b->(a,b)
t1 = (,)
}}}
causes
{{{
    Inferred type is less polymorphic than expected
      Quantified type variable `b' escapes
    Probable cause: `(,)' is applied to too few arguments
    In the expression: (,)
    In the definition of `t1': t1 = (,)
}}}

The problem goes away without the explicit signature.
-- Kefer",bug,closed,low,7.0.1,Compiler (Type checker),6.6.1,fixed,,,Linux,x86,None/Unknown,Unknown,typecheck/should_compile/T1634,,,