Constrained Type Families?

Richard Eisenberg eir at
Wed Mar 9 02:29:51 UTC 2016

On Mar 8, 2016, at 8:54 PM, Evan Austin <e.c.austin at> wrote:

> I’d be happy to send you a follow up email tomorrow when I’m back at the office if you think this would be a good motivating use case for the feature.

Up to you. That feature isn't high on my priority list, and there are enough things on that list that I'm not begging for something new. But if it's important to you, then please do push for it.


More information about the ghc-devs mailing list