More GND + role inference woes

[Richard Eisenberg]

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