Hi Oscar,<br><br><div class="gmail_quote">On Sat, May 15, 2010 at 22:19, Oscar Finnsson <span dir="ltr">&lt;<a href="mailto:oscar.finnsson@gmail.com">oscar.finnsson@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">


<br>
(...)<br>
<br>
I guess my questions are:<br>
<br>
1. Is it possible to combine GADTs with Scrap your Boilerplate?<br></blockquote><div><br>Your GADT encodes an existential datatype. The closest attempt to encode existential types in (something like) SYB that I know of is in Section 5.3 of Alexey&#39;s PhD thesis [1]. Having said that, he uses the spine view, which makes the generic view in SYB explicit, but this has never been packaged as a library. So I&#39;m afraid the answer is &quot;no&quot;. The link above might still be useful for your understanding of why this is a complex problem, though.<br>

<br><br>Cheers,<br>Pedro<br><br>[1] <a href="http://igitur-archive.library.uu.nl/dissertations/2009-0518-200422/UUindex.html">http://igitur-archive.library.uu.nl/dissertations/2009-0518-200422/UUindex.html</a><br><br></div>

</div><br>