The example now passes typechecking. Run this command to typecheck the example: $ yarn run tsc --build example/tsconfig.json