blob: d08570a06b5b2afe9299c5154bafd4178d04ed39 (
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 -XUndecidableInstances 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 -XUndecidableInstances 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 -XUndecidableInstances to permit this)
In the type instance declaration for `F3'
|
