fix compilation on Agda 2.3.0.1