mutable selection = (None : 'a option)