</TT> if the argument lists are not of equal
      lengths.</P>
    </DD>

    <DT>
      <TT>appiEq <I>f</I> (<I>l1</I>, <I>l2</I>)</TT> <BR>
      <TT>appriEq <I>f</I> (<I>l1</I>, <I>l2</I>)</TT> <BR>
      <TT>mapiEq <I>f</I> (<I>l1</I>, <I>l2</I>)</TT> <BR>
      <TT>mapiPartialEq <I>f</I> (<I>l1</I>, <I>l2</I>)</TT> <BR>
      <TT>foldliEq <I>f</I> <I>b</I> (<I>l1</I>, <I>l2</I>)</TT> <BR>
      <TT>foldriEq <I>f</I> <I>b</I> (<I>l1</I>, <I>l2</I>)</TT> <BR>
      <TT>filteriEq <I>f</I> (<I>l1</I>, <I>