Only tangentially related, but I'm reminded of Frege[0], a Haskell dialect for the JVM that I stumbled across at one point and thought looked really cool.... I see recent commits but the releases are all really old, so I can't tell what the state of the project is.

[0] https://github.com/frege/frege

I hadn't thought of Fregue in some years! I helped them with their logo and some smaller issues back in the time. I will check out the latest commits to see what's being updated (hopefully not only dependabot:) ).