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?