[Haskell-cafe] Type inference; always

[Bulat Ziganshin]

Hello Derek,

Sunday, May 18, 2008, 9:10:38 PM, you wrote:
> This is incorrect.  There are two (other) situations where you need type
> annotations in Haskell 98.  One situation is when you use polymorphic
> recursion, but that is pretty rare unless you are writing nested data
> types

can you give examples?


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com