@@ -341,8 +341,7 @@ When do `pi`-types get inferred, if ever? Good question.
...
@@ -341,8 +341,7 @@ When do `pi`-types get inferred, if ever? Good question.
# Implementation
# Implementation
*Kind equalities* will be part of GHC 8. Merging commit: [ 67465497](https://github.com/ghc/ghc/commit/6746549772c5cc0ac66c0fce562f297f4d4b80a2). It was developed in [ Eisenberg's nokinds tree](https://github.com/goldfirere/ghc/tree/nokinds).
This feature will be part of GHC 8. Merging commit: [ https://github.com/ghc/ghc/commit/6746549772c5cc0ac66c0fce562f297f4d4b80a2](https://github.com/ghc/ghc/commit/6746549772c5cc0ac66c0fce562f297f4d4b80a2)