A simple Turing Machine in Haskell