Make newtype polykinded
I hate having to give up so much top type safety when I use unlifted types. It seems to me that I should be able to use newtype
to create new types of kind #
as well as *
:
newtype MyWord# = MyWord# Word#
newtype GoodStuff# a = GoodStuff (# Int#, a #)
In an ideal world, such types would be in Core (so RULES could see them), but I'd be very happy even to just have them in Haskell.
Trac metadata
Trac field | Value |
---|---|
Version | 8.0.1 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler (Type checker) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |