
I'm looking to port some code from the game Tread Marks and ideally keep it functional.

Blacksmith
Run GitHub Actions up to 2x faster at half the cost. Blacksmith runs your GitHub Actions substantially faster on modern gaming CPUs. Integrating Blacksmith is a oneline code change. Trusted by 100+ companies like GitBook and Slope.

Seems like a neat signature. Is it an instance of some deeper concept or property? Is there a general typeclass for it? It looks a little bit like distribute from distributive.

writeyouahaskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
I feel like Write You A Haskell was set out to introduce some of these foundational concepts in the right order: lambda calculus, to systemf to core  but that's more of a skeleton, right? What about logic? proofs? Is there anything else ... that can all be put together to create a "course" of some sort to master the theoretical concepts that Haskell stands upon?

If it's anywhere, I'd expect it in constraints, but it's not Dict and it's not Forall.