the MPTC Dilemma (please solve)

[Manuel M T Chakravarty]

Isaac Jones:
> I'm forwarding an email that Martin Sulzmann asked me to post on his
> behalf.
> 
> ------------------------------------------------------------
> From: Martin Sulzmann <sulzmann at comp.nus.edu.sg>
> Subject: MPTC/FD dilemma 
> 
> - ATs (associated types) will pose the same challenges.
>   That is, type inference relies on dynamic termination checks.

Can you give an example?

Manuel