A bunch of them already show up in languages like rust. Generics are the more ergnomic impl of HKTs and with ownership after you pass an entity it off to another context, you cant use it again, which I guess isnt exactly linear per se
Interesting. Given the comments from some others [0] when I asked about HKTs in Rust, they said something quite the opposite from you. Curious to hear your thoughts on those comments.
cercatrova|3 years ago
[0] https://news.ycombinator.com/item?id=32829806#32830146