fix compilation against agda stdlib 0.9