Or dependent types, which are just another bucket ...
# language-proposals
d
Or dependent types, which are just another bucket of worms.