typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell. - Nikolai Kudasov; Artem Starikov (CoRR, 2024)