[list] restricted version of list_fmap_equiv_ext

list_fmap_equiv_ext requires the functions to be equal on every element of A but we could restrict it to the element of l.

Note sure about the name I choose, feel free to suggest something more in line with the library :D