diff --git a/typed-racket-lib/typed-racket/private/refactorable-code-example.rkt b/typed-racket-lib/typed-racket/private/refactorable-code-example.rkt
new file mode 100644
index 000000000..be5d5fd97
--- /dev/null
+++ b/typed-racket-lib/typed-racket/private/refactorable-code-example.rkt
@@ -0,0 +1,7 @@
+#lang racket/base
+
+
+(define (distance x1 y1 x2 y2)
+  (let ([dx (- x1 x2)]
+        [dy (- y1 y2)])
+    (sqrt (+ (* dx dx) (* dy dy)))))