diff --git a/stdlib/maybe.rkt b/stdlib/maybe.rkt
index 9c837a9..d598f46 100644
--- a/stdlib/maybe.rkt
+++ b/stdlib/maybe.rkt
@@ -8,7 +8,7 @@
 
 (module+ test
   (require rackunit "bool.rkt")
-  #;(check-equal?
+  (check-equal?
     (case* Maybe Type (some Bool true) (Bool)
       (lambda* (A : Type) (x : (Maybe A)) A)
       [(none (A : Type)) IH: ()