Small and stupid implementation of monadic parser in haskell