> 1. How can I tell from the Haskell 98 Revised Report that [a function > with an infinite type] > isn't allowed? The discussions of typing in the Report > generally defer to the ``standard Hindley-Milner analysis.''
1) The only way to write the recursive type you want in Haskell is using type synonyms. 2) The section describing type synonyms (4.2.2) explicitly rules it out. -- Alastair Reid www.haskell-consulting.com _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
