[Haskell-cafe] Re: Strange type error with associated type synonyms

[Achim Schneider]

Bulat Ziganshin <bulat.ziganshin at gmail.com> wrote:

> Error: type of x is Integer
>  while type of read argument should be String
> 
The problem with this is that the compiler can't know whether or not
the type of arguments to read should be a String, as someone could
have messed up read's signature. Granted, you have to have a knack for
semantic bickering to not just glance over the imprecision. 


-- 
(c) this sig last receiving data processing entity. Inspect headers
for copyright history. All rights reserved. Copying, hiring, renting,
performance and/or quoting of this signature prohibited.