Data.Witness.WitnessDict
data WitnessDict w
emptyWitnessDict
witnessDictLookup
witnessDictModify
witnessDictReplace
witnessDictAdd
witnessDictRemove
witnessDictFromList