https://kotlinlang.org logo
#arrow-contributors
Title
# arrow-contributors
e

Eugenio

07/30/2018, 8:58 AM
Now then, what if we added
Kind
as a builtin?
r

raulraja

07/30/2018, 2:41 PM
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

Eugenio

07/30/2018, 2:49 PM
Absolutely, but that might come in months/years/never
2 Views