1</I>, <I>l2</I>))</PRE>
      <P>where</P>
      <PRE>
        <I>g1</I> = fn (<I>i</I>,<I>a</I>,<I>b</I>) => <I>f</I>(<I>a</I>,<I>b</I>)
        <I>g2</I> = fn (<I>i</I>,<I>a</I>,<I>b</I>,<I>c</I>) => <I>f</I>(<I>a</I>,<I>b</I>,<I>c</I>)</PRE>
    </DD>

    <DT>
      <TT>apprEq <I>f</I> (<I>l1</I>, <I>l2</I>)</TT> <BR>
      <TT>mapPartialEq <I>f</I> (<I>l1</I>, <I>l2</I>)</TT>
    </DT>
    <DD>
      <P>Variants of the functions <TT>appr</TT> and <TT>mapPartial</TT>
      that raise <TT>UnequalLengths