blob: 7dc1852c6d754494e0dc0e6e6a4676c35d1416b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T15290b.hs:28:49: error:
• Couldn't match representation of type ‘f (m b)’
with that of ‘f (T1 m b)’
arising from the coercion of the method ‘traverse'’
from type ‘forall (f :: * -> *) a b.
Applicative' f =>
(a -> f b) -> m a -> f (m b)’
to type ‘forall (f :: * -> *) a b.
Applicative' f =>
(a -> f b) -> T1 m a -> f (T1 m b)’
NB: We cannot know what roles the parameters to ‘f’ have;
we must assume that the role is nominal
• When deriving the instance for (Traversable' (T1 m))
|
