blob: 31b425f644987d6822f6dd372541427811fe0f85 (
plain)
1
2
3
4
5
6
7
|
T7328.hs:8:34: error:
• Occurs check: cannot construct the infinite kind: k10 ~ k0 -> k10
• In the first argument of ‘Foo’, namely ‘f’
In the first argument of ‘Proxy’, namely ‘Foo f’
In the type signature:
foo :: a ~ f i => Proxy (Foo f)
|