--------------------------------------------------------------------------------

parametersToPred :: Traversal' QExpr [QParameter] -> [QParameter] -> State RuleState ParametersPred
parametersToPred path params =
    allApply <$> sequence [parameterToPred (path.ix i) param | (param, i) <- zip params [0..]]
parametersToPred :: Traversal' QExpr [QParameter] -> [QParameter] -> State RuleState ParametersPred
parametersToPred path params =
    allApply <$> sequence [parameterToPred (path.ix i) param | (param, i) <- zip params [0..]]
parametersToPred path params =
    allApply <$> sequence [parameterToPred (path.ix i) param | (param, i) <- zip params [0..]]