)    = foldri (<I>f</I> o <I>g2</I>) <I>b</I> (<I>l1</I>, <I>l2</I>)
        all <I>f</I> (<I>l1</I>, <I>l2</I>)        = alli (<I>f</I> o <I>g1</I>) (<I>l1</I>, <I>l2</I>)
        exists <I>f</I> (<I>l1</I>, <I>l2</I>)     = existsi (<I>f</I> o <I>g1</I>) (<I>l1</I>, <I>l2</I>)
        find <I>f</I> (<I>l1</I>, <I>l2</I>)       = Option.map <I>g1</I> (findi (<I>f</I> o <I>g1</I>) (<I>l1</I>, <I>l2</I>))
        filter <I>f</I> (<I>l1</I>, <I>l2</I>)     = map <I>g1</I> (filteri (<I>f</I> o <I>g1</I>) (<I>l