[deterministic]

> there could be something interesting about this

I thought so too, spend a bit of time getting deeply into it, and then realised that nope it really isn't that interesting if all you care about is writing good software.

There are people in the Haskell community who is really into math and how it can be mapped to Haskell. And hey that's all good and fine but there are much better things to study if what you focus on is writing good software.

I would (for example) recommend learning LEAN. It is mind blowingly good for your brain and will make you a better software developer.