termination for FDs and ATs

[Ross Paterson]

On Sat, Apr 29, 2006 at 07:13:28PM -0400, Manuel M T Chakravarty wrote:
>      1. You are using non-standard instances with contexts containing
>         non-variable predicates.  (I am not disputing the potential
>         merit of these, but we don't know whether they apply to Haskell'
>         at this point.)

However they are under consideration for Haskell', so it would be worth
knowing whether they would create future problems for ATs.