Мегапарсек: нет экземпляра для (ErrorComponent Void), возникающего из оператора do

Question

Я пытаюсь написать простой парсер с мегапарсек и имеет следующую проблему:

type MyParser = Parsec Void String

xxx :: MyParser Int
xxx  = do
    satisfy (`notElem` "!>")
    return 1

gbgc :: MyParser [Int]
gbgc  = many (yyy <|> xxx)

Я получаю сообщение об ошибке: удовлетворить.... Это говорит:

Нет экземпляра для (ErrorComponent Void), возникающего из оператора do В stmt блока 'do': assign (notElem "!>")