Language Driver Request for Haskell

[marcgehman]

Haskell's and TypeDB's type-orientation seem like a natural fit, which would make Haskell particularly well-suited for knowledge-modeling applications.

Outside of knowledge-modeling, a DSL embedded in Haskell which interfaces with the TypeDB driver, could effectively provide Haskell with a powerful logic programming framework for both forward chaining and Prolog-like backward chaining.