Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Ghc kinds
Kind inference
tlks
tlks
· Changes
Page history
Update tlks
authored
Apr 19, 2019
by
Ryan Scott
Hide whitespace changes
Inline
Side-by-side
ghc-kinds/kind-inference/tlks.md
View page @
6820a64e
...
...
@@ -161,7 +161,7 @@ Does this suggest that this should work?
```
hs
-- type F :: [a -> Either a ()]
type
F
=
[
Left
@
a
::
forall
a
.
Either
a
()
]
type
F
=
'
[
Left
@
a
::
forall
a
.
Either
a
()
]
```
Vlad and RAE: yes.
...
...