mutable selection = ([] : 'a list)