There is now also a draft paper that explains the rational for the restrictions described on the wiki page referenced by Lennart. You can eg find it at http://www.cse.unsw.edu.au/~chak/papers/SSPC07.html Manuel PS: I also just added a link to the paper to the wiki page. Lennart Augustsson wrote,

Look at the end of http://haskell.org/haskellwiki/GHC/Indexed_types

-- Lennart

On 8/31/07, * Jim Apple* mailto:jbapple+ghc-users@gmail.com> wrote:

Regarding

http://www.haskell.org/pipermail/cvs-ghc/2007-August/037655.html

and

Are type functions checked for termination? If so, where can I find the details?

Jim