diff --git a/collects/mzlib/contract.ss b/collects/mzlib/contract.ss
index dc8244a..0dc152e 100644
--- a/collects/mzlib/contract.ss
+++ b/collects/mzlib/contract.ss
@@ -2,10 +2,14 @@
   (require "private/contract.ss"
            "private/contract-arrow.ss"
            "private/contract-guts.ss"
-           "private/contract-ds.ss")
+           "private/contract-ds.ss"
+           "private/contract-opt.ss"
+           "private/contract-opters.ss" ;; loaded for its effect -- registering the opters
+           )
   
   
   (provide 
+   ; (all-from "private/contract-opt.ss")  ;; not yet
    (all-from "private/contract-ds.ss")
    (all-from "private/contract-arrow.ss")
    (all-from-except "private/contract-guts.ss"