Lennart always says he’s going to work on it, but he’s a busy man and nothing has actually happened. It’s a pretty easy feature to implement I think. Simon From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Sean Leather Sent: 28 August 2015 06:40 To: Ben Gamari Cc: GHC developers Subject: Re: Planning for the 7.12 release On Thu, Aug 27, 2015 at 5:38 PM, Ben Gamari wrote: These items are a bit less certain but may make it in if the authors push forward quickly enough, * Support for Type Signature Sections, allowing you to write (:: ty) as a shorthand for (\x -> x :: ty). Once Lennart convinced me of the usefulness of this [1], I've been finding plenty of places where I wish I had it. Who's working on it? What's the status? Is there a ticket for it? Regards, Sean [1] http://augustss.blogspot.com/2014/04/a-small-haskell-extension.html