Re: More GND + role inference woes

On Dec 14, 2013, at 7:59 PM, Ben Gamari wrote:

I suppose it's unlikely that the roles mechanism will be extended to allow for such restriction?

Very unlikely in the short term. As more use cases for such a feature filter in and the community demands the feature, there's no strong technical reason it can't be done. We believe that doing this would add quite a bit more complexity within GHC and doesn't have the right payoff-to-complexity ratio, for now. Richard