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

[Serguey Zefirov]

2011/7/22 Felipe Almeida Lessa <felipe.lessa at gmail.com>:
> On Fri, Jul 22, 2011 at 12:12 PM, Serguey Zefirov <sergueyz at gmail.com> 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.