diff --git a/turnstile/rackunit-typechecking.rkt b/turnstile/rackunit-typechecking.rkt
new file mode 100644
index 0000000..ca27673
--- /dev/null
+++ b/turnstile/rackunit-typechecking.rkt
@@ -0,0 +1,4 @@
+#lang racket/base
+;; extends rackunit with type-checking forms
+(require rackunit "examples/tests/rackunit-typechecking.rkt")
+(provide (all-from-out rackunit "examples/tests/rackunit-typechecking.rkt"))