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