[compat-2.4.2] test with agda-2.4.2
Merge branch 'compat-2.4.2'
undo compat-2.4.2 merge changes