Infinite types

[Alastair Reid]

> 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