codeArgs opts multiCons (ForallC _ _ con) =
    encodeArgs opts multiCons con


encodeArgs opts multiCons (ForallC _ _ con) =
    encodeArgs opts multiCons con
encodeArgs opts multiCons (ForallC _ _ con) =
    encodeArgs opts multiCons con