A compiler for something like Haskell, built in Haskell.