Agda issue 953 was by desing.