[Agda] Type error?? But I'm sure it's well-typed!

[Nils Anders Danielsson]

On 2010-10-05 14:57, David Leduc wrote:
> Would you have any advice on how to deal with that?

If the sugar stands in your way you may want to write a helper function
manually instead.

--
/NAD