dealing with some Agda inference regressions, possibly caused by invariance analysis