blob: b06cae35f75daa139c739f6be1f269b8d6123a16 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
NotRelaxedExamples.hs:9:15:
Nested type family application
in the type family application: F1 (F1 Char)
(Use UndecidableInstances to permit this)
In the type instance declaration for ‛F1’
NotRelaxedExamples.hs:10:15:
Application is no smaller than the instance head
in the type family application: F2 [x]
(Use UndecidableInstances to permit this)
In the type instance declaration for ‛F2’
NotRelaxedExamples.hs:11:15:
Application is no smaller than the instance head
in the type family application: F3 [Char]
(Use UndecidableInstances to permit this)
In the type instance declaration for ‛F3’
|