Working on lifting the parser into the ErrorT monad