Woah this is AWESOME! I am going to have to take a look! Love the thoughts, doing something similar at https://logicaffeine.com/studio
Check out Logos lang, would love to chat sometime. love that you chose Haskell!