Re: [Haskell-cafe] Simple GADTs, type families and type classes combination with type error.

2011/7/22 Felipe Almeida Lessa :

On Fri, Jul 22, 2011 at 12:12 PM, Serguey Zefirov wrote:

...

Why does GHC complains on the code below ? (I'll explain in a second a requirement to do just so)

I don't why =(.  But you can workaround by using

 class CPU cpu where    data CPUFunc cpu

Thank you very much. I completely forgot that.