... | ... | @@ -34,11 +34,13 @@ T :: forall {k} k2. k2 -> Type |
|
|
f :: T {Type} @Type Int
|
|
|
```
|
|
|
|
|
|
- [Proposal 36: top-level kind signatures](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0036-kind-signatures.rst) (depends on Proposal 81). See [this tweak](https://github.com/ghc-proposals/ghc-proposals/pull/227) for associated types. The ticket is #16794.
|
|
|
- [Proposal 36: top-level kind signatures](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0036-kind-signatures.rst) (depends on Proposal 81).
|
|
|
|
|
|
NB: we agreed that foralls from the signature _do not scope_ over the binding.
|
|
|
* See [this tweak](https://github.com/ghc-proposals/ghc-proposals/pull/227) for associated types. The ticket is #16794.
|
|
|
|
|
|
Also (see #16726). We agreed that kind variables in kind annotations should stand for arbitrary kinds, just like pattern type signatures.
|
|
|
* Also #16734: we agreed that foralls from the signature _do not scope_ over the binding.
|
|
|
|
|
|
* Also (see #16726). We agreed that kind variables in kind annotations should stand for arbitrary kinds, just like pattern type signatures.
|
|
|
```
|
|
|
data T (a::k) = MkT a
|
|
|
```
|
... | ... | |