Fix "either" on latest version of Idris