+fun four func (name1, arg1, name2, arg2, name3, arg3, name4, arg4) f (_, [e1, e2, e3, e4]) =
+ (case (arg1 e1, arg2 e2, arg3 e3, arg4 e4) of
+ (NONE, _, _, _) => badArg (func, name1, e1)
+ | (_, NONE, _, _) => badArg (func, name2, e2)
+ | (_, _, NONE, _) => badArg (func, name3, e3)
+ | (_, _, _, NONE) => badArg (func, name4, e4)
+ | (SOME v1, SOME v2, SOME v3, SOME v4) => (f (v1, v2, v3, v4);
+ SM.empty))
+ | four func _ _ (_, es) = badArgs (func, es)
+
+fun noneV func f (evs, []) = (f evs;
+ SM.empty)
+ | noneV func _ (_, es) = badArgs (func, es)
+