btw, the main drawback of their examples is lack of syntax highlighting. It's usually a big barrier for me and I proceeded with poking the examples only because I was researching algebraic effects in general throughout multiple languages. But if I stumbled upon Eff randomly and saw the examples with no syntax highlighting, I'd disregard it as too raw