A programming language that uses Haskell's type system as a virtual machine.