if the given instance @k@ has never been mentioned before
isFirstMention :: RefHistory -> RefKey -> Bool
isFirstMention st k = lastMention st k == 0

-- -----
isFirstMention :: RefHistory -> RefKey -> Bool
isFirstMention st k = lastMention st k == 0
isFirstMention st k = lastMention st k == 0