[Haskell-cafe] Re: Type family problem

[Gleb Alexeyev]

Sjoerd Visscher wrote:
> 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.
> 

The discussion [1] seems to be related.

[1] http://hackage.haskell.org/trac/ghc-test/ticket/2855