blob: 9a6ea41d96663c19699da018696733a12870eef3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T7148a.hs:19:50: error:
• Couldn't match representation of type ‘b’
with that of ‘Result a b’
arising from the coercion of the method ‘coerce’
from type ‘forall b. Proxy b -> a -> Result a b’
to type ‘forall b.
Proxy b -> IS_NO_LONGER a -> Result (IS_NO_LONGER a) b’
‘b’ is a rigid type variable bound by
the type Proxy b -> a -> Result a b at T7148a.hs:19:50
• When deriving the instance for (Convert (IS_NO_LONGER a))
|