Eff: add partial Eff.Exception and Eff.State Varification