pub fn nd_proc(
    params: Vec<ParamTy>,
    var_params: Option<ParamTy>,
    ret: Type
) -> Type