Module type Map.Equal_m