structure MailboxType = struct datatype t = DRAW of DrawMsg.t end