got basic monad parser to compile
yay turns out that do blocks work