Unverified50% confidenceFactExact time
In newer versions of GHC, * has been renamed Type and can be imported through the Data.Kind module.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/17/2026
First Seen
Valid until: 1/15/2027
Sources
Related Entities
Related Claims
UnverifiedThe Kind of concrete types (such as Int and Bool) is * (now renamed Type).66% similarUnverifiedGHC's PolyKinds extension allows type variables to have polymorphic Kinds, enabling types such as Proxy to adapt to any Kind.64% similarUnverifiedGCC and Clang provide extensions beyond the standard, including __attribute__, statement expressions, typeof, and zero-length arrays, and these extensions are extremely common in systems programming.63% similarUnverifiedv1.4.0 introduced named types for organization compliance setting statuses.58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1057004API
curl https://kongchang.com/api/v1/knowledge/claims/1057004MCP
get_claim(id=1057004)