blob: 1c96359d968e91c7bbd9be64c70df41f804cc926 (
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))
|
