He All,<br><br>I was toying a bit around and found a function, which combines an function of arity 1 with 2. <br>Then I produced a whole sequence of these function, the number of * stands for the arity of the left function and the number of | stands for arity the right function. so &lt;*|||&gt; :: (b -&gt; c -&gt; d) -&gt; (a -&gt; c) -&gt; a -&gt; b -&gt; d:<br>

<br>(&lt;*****|&gt;) = flip (&lt;*|||||&gt;)<br>(&lt;****|&gt;) = flip (&lt;*||||&gt;)<br>(&lt;***|&gt;) = flip (&lt;*|||&gt;)<br>(&lt;**|&gt;) = flip (&lt;*||&gt;)<br>(&lt;*|&gt;) = (.)<br>(&lt;*||&gt;) = (&lt;*|&gt;).(&lt;*|&gt;)<br>

(&lt;*|||&gt;) =(&lt;*||&gt;).(&lt;*|&gt;)<br>(&lt;*||||&gt;) = (&lt;*||&gt;).(&lt;*||&gt;)<br>(&lt;*|||||&gt;) = (&lt;*||||&gt;).(&lt;*|&gt;)<br><br>con = (flip.) .(.)<br>(&lt;**||&gt;) = (&lt;*||&gt;).flip <br>(&lt;**|||&gt;) = (&lt;*|&gt;).(&lt;**||&gt;)<br>

(&lt;**||||&gt;) = (&lt;*|&gt;).(&lt;**|||&gt;)<br>(&lt;***||&gt;) =  (&lt;*||&gt;).(con flip)<br>(&lt;***|||&gt;) = (&lt;*|&gt;).(&lt;***||&gt;)<br>(&lt;****||&gt;) = (&lt;*||&gt;).(con.con $ flip)<br><br>I found it interesting, but now I am stuck. is it possible to make the stars addable instead of the | or both?<br>

<br>Greets,<br><br>Edgar<br>Edgar <br><br> <br>