Module type Validated

module type Validated = Validated.Validated