A program that allows you to go from working Haskell code to broken Idris code.