Poly-kinded Const
Currently Const
is defined as
newtype Const a b = Const { getConst :: a }
I propose to define it poly-kinded in the second argument like so:
newtype Const a (b :: k) = Const { getConst :: a }
This should be completely backwards-compatible.
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.2 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Core Libraries |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |