pub fn validate_module<V: Validator>( module: &Module, input: <V as Validator>::Input) -> Result<V::Output, Error>