Allow code to compile on newest version of Idris