Merge branch 'epicallan-patch-1'

goldfirere · Oct 25, 2019 · b0e0faf · b0e0faf
2 parents 2301bd2 + a2bd2d6
commit b0e0faf
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -30,8 +30,11 @@ next
 2.6
 ---
 * Require GHC 8.8.
-* `Sing` has switched from a data family to a type family. This has a number of
-  consequences:
+* `Sing` has switched from a data family to a type family. This
+  [GitHub issue comment](https://github.com/goldfirere/singletons/issues/318#issuecomment-467067257)
+  provides a detailed explanation for the motivation behind this change.
+
+  This has a number of consequences:
   * Names like `SBool`, `SMaybe`, etc. are no longer type synonyms for
     particular instantiations of `Sing` but are instead the names of the
     singleton data types themselves. In other words, previous versions of