Revision history for prim-uniq

0.2 - 2020-04-11

• Update for dependent-sum 0.7. (Support GHC 8.8.)
• dependent-sum dropped the (:=) type. Use (:~:) instead.
• Fix a minor strictness issue (#1).