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