Data.Witness.WitnessFDict
data WitnessFDict w f
emptyWitnessFDict
witnessFDictLookup
witnessFDictModify
witnessFDictReplace
witnessFDictAdd
witnessFDictRemove
witnessFDictFromList