Added goldfire's comment
Nov 5 2018
Oct 29 2018
Oct 27 2018
Template Haskell quick fix and tests
Oct 26 2018
Haddock bump can be found at:
Final rebase and squashed commits. Ready to merge?
Oct 9 2018
Oct 4 2018
Pre final rebase: addresses all outstanding comments.
Aug 15 2018
Aug 14 2018
@RyanGlScott It's to differentiate between the case where there is no explicit forall (type instance F a = ...) and where there is an empty explicit forall (type instance forall. F a = ...). Type variables on the LHS are implicitly bound only in the former case, thus the latter example would be accepted only if a is already in scope.
(Some) July Phabricator revisions
Returning to work on this, the new diff will be added shortly.
Jun 25 2018
Haddock update available at: