The Haskell code checks this implicitly with the use of the Get monad, I believe. In Python, you have to manually tell the code to not reach for bits that aren't there. In Haskell, the concept of a failure state being implicitly dealt with is used all over.

Also, the reason the Python code is a `while True` with an explicit counter and check at the bottom is because Python lacks a do-while loop