Feared as much. I'd love for these to be implemented and was excited to see them listed! I do expect to implement these some day. But certainly not for 8.8. Thanks, Richard

On Nov 2, 2018, at 1:00 PM, Ben Gamari wrote:

Richard Eisenberg writes:

...

Hi all,

I see visible dependent quantification and top-level kind signatures on the release plan for GHC 8.8. Is there a diff for these I've missed? Or is something in the works?

I don't believe so; it sounds like this was just a mistake. If anyone was to know about these happening I would expect it to be you.

Cheers,

- Ben