Simply fixing too many or too few variables. Larry On 5 Sep 2012, at 13:52, Lars Noschinski <noschinl at in.tum.de> wrote: >> Which scenario do you have in mind with fix? The case where a too general type is chosen, because the first mention of the fixed variable also type-checks for a more general type? > > -- Lars