Changed back to using Eff instead of Identity