Agda.Utils.Favorites
data Favorites a
data CompareResult a
compareWithFavorites
compareFavorites
unionCompared
insertCompared
insert
union
fromList