yes = [x] ++ xs