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

[Henning Thielemann]

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?