On Wed, Oct 15, 2014 at 07:16:55AM -0500, Andrés Sicard-Ramírez wrote: > Yes. Report the issue in https://code.google.com/p/agda/issues/list please. Oh. I should have checked the issue tracker before crafting an example. This is another reproducer of https://code.google.com/p/agda/issues/detail?id=1282. Helmut