fix compilation with agda 2.5.3, agda-stdlib 0.14