<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<META http-equiv=Content-Type content="text/html; charset=us-ascii">
<BODY>
<DIV><SPAN class=547520819-27012006><FONT face=Arial size=2>Dear
<DIV><SPAN class=547520819-27012006><FONT face=Arial
size=2></FONT></SPAN>&nbsp;</DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial size=2>since this is my
first post, </FONT></SPAN></DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial
size=2></FONT></SPAN>&nbsp;</DIV>
<DIV><SPAN class=547520819-27012006>&nbsp;&nbsp;&nbsp; <FONT face=Arial
size=2>"Hello all"</FONT></SPAN></DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial
size=2></FONT></SPAN>&nbsp;</DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial size=2>I have a problem
with a function taken from class Arrow.</FONT></SPAN></DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial
size=2></FONT></SPAN>&nbsp;</DIV>
<DIV><SPAN class=547520819-27012006>&nbsp;&nbsp;&nbsp; <FONT face=Arial
size=2>arr :: (b -&gt; c) -&gt; a b c</FONT></SPAN></DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial
size=2></FONT></SPAN>&nbsp;</DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial size=2>To build my own
arrow, i need to distinguish between different kinds of b or
c.</FONT></SPAN></DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial size=2>For instance, if
b&nbsp;has the form&nbsp;(d,e), i want to construct something different as when
having form (d,e,f).</FONT></SPAN></DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial
size=2></FONT></SPAN>&nbsp;</DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial size=2>Could I get a hint
how to express my needs, please!</FONT></SPAN></DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial
size=2></FONT></SPAN>&nbsp;</DIV>
<DIV><SPAN class=547520819-27012006><FONT face=Arial size=2>Many thanks in