Constrained Type Families?

Richard Eisenberg eir at
Wed Mar 9 01:21:44 UTC 2016

On Mar 8, 2016, at 7:17 PM, Evan Austin <e.c.austin at> wrote:
> The wiki page for Phase I of Dependent Haskell describes an approach to constrained type families:
> Did that land in GHC 8.0 and, if so, is the updated syntax documented somewhere?

No, it didn't make it. The motivating test case seemed contrived and so we punted on this one.

Do you have a use case that really needs this feature? That would help to motivate it for 8.2 or beyond.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list