下面是我想出的完整的工作代码。

type Parser =
  M.Parsec
    -- The type for custom error messages. We have none, so use `Void`.
    Void
    -- The input stream type. Let's use `String` for now.
    String
data Word = Number String | SimpleWord String | Contraction String deriving (Eq)
instance Show WordCount.Word where
  show (Number x) = x
  show (SimpleWord x) = x
  show (Contraction x) = x
words :: String -> Either String [String]
-- Force parser to consume entire input
-- <* Sequence actions, discarding the value of the second argument.
words input = case M.parse (M.some WordCount.word A.<* M.eof) "" input of
  -- :t err = M.ParseErrorBundle String Void
  Left err ->
    let e = M.errorBundlePretty err
        _ = putStr e
     in Left e
  Right (x) -> Right $ map (show) x
word :: Parser WordCount.Word
word =
  M.skipManyTill filler $
    lexeme $
      M.choice
        -- <$> is infix for 'fmap'
        [ Number <$> number,
          Contraction <$> M.try contraction,
          SimpleWord <$> simpleWord
        ]
number :: Parser String
number = M.some MC.numberChar
simpleWord :: Parser String
simpleWord = M.some MC.letterChar
contraction :: Parser String
contraction = do
  left <- simpleWord
  void $ MC.char '\''
  right <- simpleWord
  return $ left ++ "'" ++ right
-- Define separator characters
isSep :: Char -> Bool
isSep x = C.isSpace x || (not . C.isAlphaNum) x
-- Fillers fill the space between tokens
filler :: Parser ()
filler = void $ M.some $ M.satisfy isSep
-- 3rd and 4th arguments are for ignoring comments
spaceConsumer :: Parser ()
spaceConsumer = L.space filler A.empty A.empty
-- A parser that discards trailing space
lexeme :: Parser a -> Parser a
lexeme = L.lexeme spaceConsumer

首先，您可能希望将some1用于数字和简单的单词，否则“”将是数字。
你的填充解析器很好，应该使用some，因为你想让“they1234”解析为SimpleWord "they"和Number "1234"。
对于整个解析器，您需要说明的是，您的文本由零个或多个单词组成，这些单词之间用filler分隔，在单词的前后有可选的填充符。幸运的是，megaparsec从Control.Monad.Combinators重新导出了很多有用的东西来实现这一点。
因此，我们可以使用sepBy表示由填充符分隔的单词：

document :: Parser [Word]
document = do
   _ <- filler   -- Throw away any filler at the start.
   result <- word `sepBy` filler
   _ <- filler   -- Throw away any filler at the end.
   return result

对于开始和结束填充符，我们不需要optional，因为填充符可以是零长度。
最后，一个风格要点：在一个真实的的解析器中，你可能会想让Word类型更复杂一些，比如：

data SimpleWord = Number String | SimpleWord String

data Word = Word SimpleWord | Contraction SimpleWord SimpleWord

这样一来，处理Contraction下游的代码就不必重新查找撇号，也不必处理“不可能”的情况，因为没有撇号。一旦在输入中找到了结构信息，就不要丢弃它。但这是本练习的一个附带问题。