Fix bit-rot against latest Idris