--- a/datebox.urs	Fri Aug 05 18:55:24 2011 -0430
+++ b/datebox.urs	Sun Aug 07 14:38:52 2011 -0400
@@ -13,10 +13,10 @@
 val create : time -> transaction t
 (* Get a datebox initially set to the given time. *)
 
-val addListener : (date -> transaction unit) -> t -> transaction unit
+val onChange : t -> (date -> transaction {}) -> transaction {}
 (* Add an action to be run when the date changes. *)
 
-val set : t -> date -> transaction unit
+val set : t -> date -> transaction {}
 (* Call this to change the selected date. *)
 
 val value : t -> signal date