a friend/old coworker of mine played with that idea in datalog and wrote about it. https://petevilter.me/post/datalog-typechecking/ it had some pretty cool implications.