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
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