[Agda] Recursive types for free?

[Anthony de Almeida Lopes]

Does anyone know why Wadler's "Recursive Types for Free" techniques are not
used more widely, for example in Agda? Is it because of the inefficiency of
execution?
- Anthony
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110527/67444be0/attachment.html