g1</I>) (<I>l1</I>, <I>l2</I>)
        appr <I>f</I> (<I>l1</I>, <I>l2</I>)       = appri (<I>f</I> o <I>g1</I>) (<I>l1</I>, <I>l2</I>)
        map <I>f</I> (<I>l1</I>, <I>l2</I>)        = mapi (<I>f</I> o <I>g1</I>) (<I>l1</I>, <I>l2</I>)
        mapPartial <I>f</I> (<I>l1</I>, <I>l2</I>) = mapiPartial (<I>f</I> o <I>g1</I>) (<I>l1</I>, <I>l2</I>)
        foldl <I>f b</I> (<I>l1</I>, <I>l2</I>)    = foldli (<I>f</I> o <I>g2</I>) <I>b</I> (<I>l1</I>, <I>l2</I>)
        foldr <I>f b</I> (<I>l1</I>, <I>l2</I>