brainfuck interpretter implemented in haskell-types.