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