Try folding over data type constructor with $?<span></span><br><br>вторник, 25 декабря 2012&nbsp;г. пользователь Magicloud Magiclouds  писал:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">Forgot to mention, solution without TemplateHaskell.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Dec 25, 2012 at 4:59 PM, Magicloud Magiclouds <span dir="ltr">&lt;<a href="javascript:_e({}, &#39;cvml&#39;, &#39;magicloud.magiclouds@gmail.com&#39;);" target="_blank">magicloud.magiclouds@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Say I have things like:<div><br></div><div>data LongDec = LongDef a b c ... x y z</div><div>values = [ &#39;a&#39;, &#39;b&#39;, &#39;c&#39;, ... &#39;x&#39;, &#39;y&#39;, &#39;z&#39; ]<br clear="all">

<div><br>
</div><div>Now I want them to be &quot;LongDef &#39;a&#39; &#39;b&#39; &#39;c&#39; ... &#39;x&#39; &#39;y&#39; &#39;z&#39;&quot;.</div><div>In form, this is something like folding. But since the type changes, so code like following won&#39;t work:</div>


<div><br></div><div>foldl (\def value -&gt; def value) LongDef values</div><div><br></div><div>Is it possible to do this in some way?</div><span><font color="#888888">--&nbsp;<br>竹密岂妨流水过<br>山高哪阻野云飞<br><br>And for G+, please use magiclouds#<a href="http://gmail.com/" target="_blank">gmail.com</a>.</font></span></div>


</div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>竹密岂妨流水过<br>山高哪阻野云飞<br><br>And for G+, please use magiclouds#<a href="http://gmail.com" target="_blank">gmail.com</a>.
</div>
</blockquote><br><br>-- <br>Best<div>Timur DeTeam Amirov</div><div>Moscow, Russia</div><br>