fix deprecation warning about Any.any with agda-stdlib 1.7.1