[Haskell-cafe] Type family problem

[Sjoerd Visscher]

Hi all,

When I try this bit of code:

 > class C1 a where
 >   type F a :: *
 >   x :: F a
 >   y :: F a
 >   x = y

I get this error:

     Couldn't match expected type `F a1' against inferred type `F a'
     In the expression: y
     In the definition of `x': x = y

I can't figure out what is going on or how I should fix this.

--
Sjoerd Visscher
sjoerd at w3future.com