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

Bulat Ziganshin 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.