[Haskell-cafe] Re: Associated Type Synonyms question

Martin Sulzmann wrote::

Stefan Wehr writes:

...

[...] Manuel (Chakravarty) and I agree that it should be possible to constrain associated type synonyms in the context of class definitions. Your example shows that this feature is actually needed. I will integrate it into phrac within the next few days.

By possible you mean this extension won't break any of the existing ATS inference results?

Yes, although we didn't go through all the proofs.

You have to be very careful otherwise you'll loose decidability.

Do you have something concrete in mind or is this a more general advice? Stefan