... | @@ -161,7 +161,7 @@ Does this suggest that this should work? |
... | @@ -161,7 +161,7 @@ Does this suggest that this should work? |
|
|
|
|
|
```hs
|
|
```hs
|
|
-- type F :: [a -> Either a ()]
|
|
-- type F :: [a -> Either a ()]
|
|
type F = [Left @a :: forall a. Either a ()]
|
|
type F = '[Left @a :: forall a. Either a ()]
|
|
```
|
|
```
|
|
|
|
|
|
Vlad and RAE: yes.
|
|
Vlad and RAE: yes.
|
... | | ... | |