mind-bending: "a programming language that runs in Haskell's type system" https://t.co/ddKIgUlMVa