Unlifted data types

[Edward Z. Yang]

Excerpts from Edward Z. Yang's message of 2015-09-04 08:43:48 -0700:
> Yes.  Actually, you have a good point that we'd like to have functions
> 'force :: Int -> !Int' and 'suspend :: !Int -> Int'. Unfortunately, we
> can't generate 'Coercible' instances for these types unless Coercible becomes
> polykinded.  Perhaps we can make a new type class, or just magic
> polymorphic functions.

Michael Greenberg points out on Twitter that suspend must be a special
form, just like lambda abstraction.

Edward