You should be able to compare two def_ids directly. If not, feel free to add `deriving(Eq)`