Proof of concept for monadic parsing in python