Agda.Utils.Map.Compat