[ngruhn]

Unison is one example. Except it doesn't just differentiate between pure and effectful but also what combinations of effects are used.

[d_tr]

Never heard about this one, thanks.