refactor(provable-generic.ts): move function type check after Struct …

…type check for better error handling order

lib/provable-generic.ts

@@ -178,13 +178,6 @@ function createDerivers<Field>(): {
 
       if (isProvable(typeObj)) return typeObj.check(obj);
 
-      if (typeof typeObj === 'function') {
-        throw new Error(
-          `provable: invalid type detected. Functions are not supported as types. ` +
-            `Ensure you are passing an instance of a supported type or an anonymous object.\n`
-        );
-      }
-
       if (display(typeObj) === 'Struct') {
         throw new Error(
           `provable: cannot run check() on 'Struct' type. ` +
@@ -201,6 +194,13 @@ function createDerivers<Field>(): {
         );
       }
 
+      if (typeof typeObj === 'function') {
+        throw new Error(
+          `provable: invalid type detected. Functions are not supported as types. ` +
+            `Ensure you are passing an instance of a supported type or an anonymous object.\n`
+        );
+      }
+
       // Only recurse into the object if it's an object and not a function
       return Object.keys(typeObj).forEach((k) => check(typeObj[k], obj[k]));
     }