To first give you some context, the thing on the top is from The “Representable Functors” chapter of Category Theory for Programmers. So technically, you only need to read 230 Pages of a maths textbook to get it ;)

But this isn’t exactly what you asked for, so I’ll try to help you get it as best I can with my limited understanding of the subject. First of all it would be helpful to know what your prior knowledge in Maths, especially Set theory, is?

I’m not sure how I would go about this in an elegant way since I’m matching the string I get from a message…

That’s a good point, thanks. Maybe I’ll go without the if entirely, the (janky) code is still very much in flux ;)

Almost, but not quite. It’s built against Presage

Inside me are two wolves I guess…

Wow you sound so smart!