diff --git a/cur-lib/cur/stdlib/list.rkt b/cur-lib/cur/stdlib/list.rkt
index 1b1514f..f90d396 100644
--- a/cur-lib/cur/stdlib/list.rkt
+++ b/cur-lib/cur/stdlib/list.rkt
@@ -22,16 +22,4 @@
        (match n
          [z (some A a)]
          [(s (n-1 : Nat))
-          ((recur rest) n-1)]))])
-  #;(elim
-   List
-   Type
-   (lambda (A : Type) (ls : (List A))
-            (-> Nat (Maybe A)))
-   (lambda (A : Type) (n : Nat) (none A))
-   (lambda (A : Type) (a : A) (ls : (List A)) (ih : (-> Nat (Maybe A)))
-           (lambda (n : Nat)
-             (match n
-               [z (some A a)]
-               [(s (n-1 : Nat))
-                (ih n-1)])))))
+          ((recur rest) n-1)]))]))
diff --git a/cur-lib/cur/stdlib/sugar.rkt b/cur-lib/cur/stdlib/sugar.rkt
index 2ad59db..659fc9b 100644
--- a/cur-lib/cur/stdlib/sugar.rkt
+++ b/cur-lib/cur/stdlib/sugar.rkt
@@ -28,9 +28,7 @@
   (only-in "../cur.rkt"
     [elim real-elim]
     [#%app real-app]
-    ;; Somehow, using real-lambda instead of _lambda causes weird import error
     [lambda real-lambda]
-    #;[forall real-forall]
     [define real-define]))
 
 (begin-for-syntax