the MPTC Dilemma (please solve)

Manuel M T Chakravarty chak at
Sat Mar 18 15:17:59 EST 2006

Isaac Jones:
> I'm forwarding an email that Martin Sulzmann asked me to post on his
> behalf.
> ------------------------------------------------------------
> From: Martin Sulzmann <sulzmann at>
> 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?


More information about the Haskell-prime mailing list