diff --git a/stdlib/sugar.rkt b/stdlib/sugar.rkt
index 5c3d257..f5fed7c 100644
--- a/stdlib/sugar.rkt
+++ b/stdlib/sugar.rkt
@@ -67,12 +67,6 @@
     [(define id body)
      #'(real-define id body)]))
 
-(define-syntax (define-rec syn)
-  (syntax-case syn (:)
-    [(_ (name (a : t) ... : t_res) body)
-     #'(define name (fix (name : (forall* (a : t) ... t_res))
-                      (lambda* (a : t) ... body)))]))
-
 (begin-for-syntax
   (define (rewrite-clause clause)
     (syntax-case clause (: IH:)