Simulating Turing machines in haskell using diagrams