Unlifted data types

Simon Peyton Jones simonpj at microsoft.com
Thu Oct 8 10:02:59 UTC 2015

| I've added a section on parametric levity polymorphism to the wiki.
| Sorry it took so long.

What's the wiki page?

| I might add some thoughts about first-class `!a` being the only
| semantic hole in our current strict data type situation later if I
| remember to do so.

More information about the ghc-devs mailing list