type 'a option = None | Some of 'a