diff --git a/proofs-for-free.rkt b/proofs-for-free.rkt
index 32759f7..849ddf8 100644
--- a/proofs-for-free.rkt
+++ b/proofs-for-free.rkt
@@ -27,7 +27,7 @@
   (syntax-parse (cur-expand syn)
     ;; TODO: Need to add these to a literal set and export it
     ;; Or, maybe redefine syntax-parse
-    #:dataumliterals (:)
+    #:dataum-literals (:)
     #:literals (lambda forall data real-app case Type)
     [(_ Type)
      #'(lambda* (x1 : Type) (x2 : Type) (->* x1 x2 Type))]