解析器中的Parsec <|>选择，抛出错误，但不会转到下一个解析器

我正在学习haskell Write yourself a scheme。

我目前正在尝试char在计划中实施认可。字符是#\<character>or或#\<character-name>like#\a或#\or #\space。

所以我写了下面的代码：

-- .. some code ..
data LispVal = Atom String
             | List [LispVal]
             | DottedList [LispVal] LispVal
             | String String
             | Number Integer
             | Bool Bool
             | Char Char deriving Show
-- .... More code ...
parseChar :: Parser LispVal
parseChar = liftM Char (parseSingleChar <|> parseSpecialCharNotation)

parseSingleChar :: Parser Char
parseSingleChar = do string "#\\"
                     x <- letter
                     return x

parseSpecialCharNotation :: Parser Char
parseSpecialCharNotation = do string "#\\"
                              x <- (parseSpace <|> parseNewline)
                              return x

parseSpace :: Parser Char
parseSpace = do char 's'
                char 'p'
                char 'a'
                char 'c'
                char 'e'
                return ' '

parseNewline :: Parser Char
parseNewline = do char 'n'
                  char 'e'
                  char 'w'
                  char 'l'
                  char 'i'
                  char 'n'
                  char 'e'
                  return '\n'

-- .. some more code...

readExpr :: String -> String
readExpr input = case parse parseExpr "lisp" input of
                 Left err -> "Parse Error: " ++ show err
                 Right val -> "Found value: " ++ show val

目前，我不了解中的string解析器Parsec。

问题是我可以识别，#\a但是#\space被视为s。

*Main> readExpr "#\\space"
"Found value: Char 's'"

为了解决此问题，我将其更改parseChar为

parseChar :: Parser LispVal
parseChar = liftM Char (parseSpecialCharNotation <|> parseSingleChar)

但较早的问题已解决，但现在却出现了正常字符的错误-

*Main> readExpr "#\\s"
"Parse Error: \"lisp\" (line 1, column 4):\nunexpected end of input\nexpecting \"p\""

为什么会这样呢？它不应该parseSingleChar变成parseSpecialCharNotation失败吗？

完整代码位于：Gist