Why not BlockArguments?

BlockArguments is not so much a language extension as a bugfix for the spec—it’s almost always the first “extension” I enable.

I would have argued strongly for its inclusion in GHC2021 or GHC2024, but frankly I never noticed any of these discussions were taking place.