The source project of this merge request has been removed.
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