Minor edits that were sitting there
Define depinfo algrabraic data type using core.match
depinfo contains the hash key where the value will be placed when
calling the valuefunc. We ensure that the key is unique.