l1</I>, <I>l2</I>)</TT> <BR>
      <TT>foldri <I>f</I> <I>b</I> (<I>l1</I>, <I>l2</I>)</TT> <BR>
      <TT>alli <I>f</I> (<I>l1</I>, <I>l2</I>)</TT> <BR>
      <TT>existsi <I>f</I> (<I>l1</I>, <I>l2</I>)</TT> <BR>
      <TT>findi <I>f</I> (<I>l1</I>, <I>l2</I>)</TT> <BR>
      <TT>filteri <I>f</I> (<I>l1</I>, <I>l2</I>)</TT>
    </DT>
    <DD>
      <P>Indexed versions of the functions <TT>app</TT>, <TT>appr</TT>,
      <TT>map</TT>, <TT>mapPartial</TT>, <TT>foldl</TT>, <TT>foldr</TT>,
      <TT>all</TT>, <