datatype 'a option = NONE | SOME of 'a