-
@propensive@larsr_h I can't help thinking that that existential spells doom though.
@milessabin @larsr_h Agreed. I think it's impossible to write a type of kind (* -> *) -> * -> * without one, though...
-
-
@propensive@milessabin@larsr_h In that case it could be worth raising on dotty-internals, given that existentials are on their way out -
@thecoda@milessabin@larsr_h AIUI (which I probably don't) I'd have more than lack of existentials to contend with in Dotty...
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.