[Haskell-beginners] Turing machine that decides if a string is an element of an-bn-cn