... | ... | @@ -31,7 +31,7 @@ instance(Left a)=>Right a -- this is now an error |
|
|
```
|
|
|
|
|
|
|
|
|
GHC now rejects this instance, claiming it cannot deduce the `Super a`
|
|
|
GHC now rejects the `Right a` instance, claiming it cannot deduce the `Super a`
|
|
|
superclass constraint of the `Right` typeclass. This stands in contrast to
|
|
|
previous releases, which would accept this declaration, using the `Super a`
|
|
|
constraint implied by the `Left a` constraint. To fix this simply add the
|
... | ... | |