[Haskell-cafe] Type syntax in expressions (Was: [ANNOUNCE] GHC 9.12.1-alpha1 is now available)

On Wed, 16 Oct 2024, Jeffrey Brown wrote:

...

* GHC now accepts type syntax in expressions as part of [GHC Proposal #281]

I feel like you buried the lede :)

Many thanks to everyone involved!

I understand that this is part of the Dependent Haskell roadmap. Is there something cool and useful that we can already do with this new extension?