Re: the MPTC Dilemma (please solve)

Isaac Jones:

I'm forwarding an email that Martin Sulzmann asked me to post on his behalf.

------------------------------------------------------------ From: Martin Sulzmann 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