Now then, what if we added `Kind` as a builtin?
# arrow-contributors
e
Now then, what if we added
Kind
as a builtin?
r
Seems like an idea worth exploring but at that point why we don;t just send a KEEP for HKs after the type classes one so they suipport syntax for HKT behind a compiler flag or some short of opt in mechanism?
e
Absolutely, but that might come in months/years/never