adamc@1015: type t
adamc@1015: 
adamc@1015: val zero : transaction t
adamc@1015: val inc : t -> transaction unit
adamc@1015: val dec : t -> transaction unit
adamc@1015: 
adamc@1015: val render : ctx ::: {Unit} -> inp ::: {Type} -> [[Body] ~ ctx] =>
adamc@1015:     xml ([Body] ++ ctx) inp [] -> t -> xml ([Body] ++ ctx) inp []