blob: 6606d66f6335e3521e50a5ae600696081ba38236 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T8984.hs:7:46:
Couldn't match representation of type ‘cat a (N cat a Int)’
with that of ‘cat a (cat a Int)’
arising from the coercion of the method ‘app’
from type ‘cat a (cat a Int)’ to type ‘N cat a (N cat a Int)’
Relevant role signatures:
type role N representational nominal nominal
NB: We cannot know what roles the parameters to ‘cat a’ have;
we must assume that the role is nominal
When deriving the instance for (C (N cat a))
|
