addValArgTo :: ArgInfo -> OutExpr -> ArgInfo
addValArgTo ai arg = ai { ai_args = ValArg arg : ai_args ai
                        , ai_type = funResultTy (ai_type ai) }
addValArgTo :: ArgInfo -> OutExpr -> ArgInfo
addValArgTo ai arg = ai { ai_args = ValArg arg : ai_args ai
                        , ai_type = funResultTy (ai_type ai) }
addValArgTo ai arg = ai { ai_args = ValArg arg : ai_args ai
                        , ai_type = funResultTy (ai_type ai) }