Updated output from latest Idris