rules for type casting

To my Another question on *rules*. Could they help the implicit type casting? For example, with {rules Num a= x::a, y::[a] == x+y = [x]+y} instance Num a = Num [a] where ... one could expect for x :: Num b=b the casting

RE: rules for type casting

{rules Num a= x::a, y::[a] == x+y = [x]+y} instance Num a = Num [a] where ... one could expect for x :: Num b=b the casting x + [x,y] -- [x] + [x,y] Provided the two sides of the rules

Re: rules for type casting

Simon Peyton-Jones wrote: Another question on *rules*. Could they help the implicit type casting? For example, with {rules Num a= x::a, y::[a] == x+y = [x]+y} instance Num a = Num [a] where ... one could expect for x :: Num b=b

rules for type casting

Another question on *rules*. Could they help the implicit type casting? For example, with {rules Num a= x::a, y::[a] == x+y = [x]+y} instance Num a = Num [a] where ... one could expect for x :: Num b=b the casting

RE: rules for type casting

Another question on *rules*. Could they help the implicit type casting? For example, with {rules Num a= x::a, y::[a] == x+y = [x]+y} instance Num a = Num [a] where ... one could expect for x :: Num b=b the casting