> > Constraining a structure by a signature does not alter the principal > > type of the structure, so the inferred type of the expression in a > > sequence position is not altered by the signature match. > > Excellent point. There should be warnings in all your examples. And, hence, also in the DynamicWind.wind function.