Some progress on the unverified parser in Haskell