A programming language that runs in Haskell's type system.