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

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 Note that you don't need the class constraint 'CPU cpu =>' inside the GADT since 'cpu' is not an existential. Cheers, =) -- Felipe.