When you're at the candy store and they ask you to choose just one thing
I'm team typeclasses + effect system and I can't choose between the two ;_;
@acuteanniemay I'm sure the authors of the type-checker would find something to add 😅 A few years ago I would've said the same thing and they still managed to add Generative functors, structural comparison of package types (for first-class modules) and some nice syntactic sugars.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!