I'm not sure "violate" is the right word, given Landin's objectives.

If the where-clause offends you, use a let-clause instead?