Reported Agda issue 1014.