Quoting Vesa Karvonen <vesa.karvonen@cs.helsinki.fi>: [...] > val update : int * 'b -> unit m Oops... Too hasty to press the send button. The above line wasn't supposed to be there. -Vesa Karvonen