diff --git a/CHANGES.md b/CHANGES.md index 29c1ca04..30a101cf 100644 --- 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