diff --git a/process.rkt b/process.rkt
index 518eb93..1a2aa4a 100644
--- a/process.rkt
+++ b/process.rkt
@@ -18,7 +18,7 @@
   (send-to-user* (process-debug-name p) (process-pid p) (e) failure-result enclosed-expr))
 
 (define-syntax-rule (send-to-user* debug-name pid (e) failure-result enclosed-expr)
-  (with-handlers ([exn:fail? (lambda: ([e : Reason])
+  (with-handlers ([reason? (lambda: ([e : Reason])
 			       (if (exn? e)
 				   (marketplace-log 'error "Process ~v(~v):~n~a~n"
 						    debug-name pid (exn-message e))
diff --git a/types.rkt b/types.rkt
index 5fed8ac..2b5bf58 100644
--- a/types.rkt
+++ b/types.rkt
@@ -9,7 +9,8 @@
 	       [opaque Reason reason?])
 
 (provide (all-defined-out)
-	 (all-from-out "quasiqueue.rkt"))
+	 (all-from-out "quasiqueue.rkt")
+         reason?)
 
 ;; This module uses different terminology to os2.rkt. From the paper:
 ;; "A role generalizes traditional notions of advertisement and