Basic parser is up, now to rewrite it in Monadic Style