Fix to compile with Agda 2.3.2.2