--- a/json.urs	Thu Dec 02 12:17:51 2010 -0500
+++ b/json.urs	Thu Dec 02 12:27:30 2010 -0500
@@ -10,6 +10,7 @@
 val json_int : json int
 val json_float : json float
 val json_bool : json bool
+val json_option : a ::: Type -> json a -> json (option a)
 val json_list : a ::: Type -> json a -> json (list a)
 
 val json_record : ts ::: {Type} -> folder ts -> $(map json ts) -> $(map (fn _ => string) ts) -> json $ts