DocId vector instances, getting things working on 7.8

unrolled GND'd instances for CountingMap in DownloadCount.State

Tests passed, fixed REPL specific type errors due to monomorphism restriction as well as type errors relating to GND breakage.
i'm not sure if this change is correct. the `.` is a line continuation marker for the synospsys / summary in a cabal file