Simulation of a deterministic Turing Machine using Haskell