On Mon, 16 Jul 2012, Felipe Almeida Lessa wrote:

On Mon, Jul 16, 2012 at 12:33 PM, Vo Minh Thu wrote:

...

It seems like the infered type (and thus bounds) is different when you force the result to be a Color or not. Just give explicit type signatures and conversion functions.

Actually, just *always* give explicit type signatures.

Additionally, always compile with '-Wall' and follow the warnings. This way GHC will also warn about missing type signatures and it will even suggest type signatures. (and use haskell-cafe for riddles, please :-)