-- suggestions for the new variables
; match_result <- match (arg_vars ++ vars) ty eqns'
; return (con1, tvs1 ++ dicts1 ++ arg_vars,
-- suggestions for the new variables
; match_result <- match (arg_vars ++ vars) ty eqns'
; return (con1, tvs1 ++ dicts1 ++ arg_vars,