An Haskell library for writing Turing Machines