Move Effective instance to environment from EFF type