Derive MonadIO in ErmineParserT; probable initial ParserState.