Agda 2.4.2 regression? (see issue 1264)