Update mailbox.fs