- User Since
- Jun 15 2018, 2:01 PM (13 w, 5 d)
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: