Update for latest Idris: s/neweffects/effects/g