Started work on making Parser<TA> a monad