Language.Brainfuck
data Command
type Core
type InstPtr
type CorePtr
data BF