Start making a new fancy monadic parser