validation with generic zippers