yes = x : xs