Type provider version of a Brainfuck interpreter