| ... | ... | @@ -17,6 +17,8 @@ The new bit is the `forall` in the context of the instance declaration. |
|
|
|
|
|
|
|
Here are some resources
|
|
|
|
|
|
|
|
- The [ GHC Proposal discussing quantified constraints](https://github.com/ghc-proposals/ghc-proposals/pull/109)
|
|
|
|
|
|
|
|
- [ Derivable type classes](https://www.microsoft.com/en-us/research/publication/derivable-type-classes), Section 7, where the idea was first proposed (I think).
|
|
|
|
|
|
|
|
- [\#2893](https://gitlab.haskell.org//ghc/ghc/issues/2893), a ticket about the idea
|
| ... | ... | |
