如何在没有GeneralizedNewTypederiving扩展的情况下为一元解析器实现Monad、MonadError和MonadState？

instance Monad Parser where
    return x = Parser (\input -> Just (x, input))
    p >>= f = Parser (\input -> case runParser p input of
                                    Just (x, rest) -> runParser (f x) rest
                                    Nothing -> Nothing)

instance MonadError String Parser where
    throwError err = Parser (\_ -> Nothing)
    catchError p handler = Parser (\input -> case runParser p input of
                                                Just (x, rest) -> Just (x, rest)
                                                Nothing -> runParser (handler "Error occurred") input)

instance MonadState String Parser where
    get = Parser (\input -> Just (input, input))
    put state = Parser (\_ -> Just ((), state))