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