> 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.