Visible dependent quantification / CUSKs

Richard Eisenberg rae at
Mon Oct 29 02:54:35 UTC 2018

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?

Sorry if I've just missed it go by!


More information about the ghc-devs mailing list