Constrained Type Families?

[Richard Eisenberg]

On Mar 8, 2016, at 8:54 PM, Evan Austin <e.c.austin at gmail.com> 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.

Thanks,
Richard