blob: 7c39c41738df470aa0d3462b017979c3ac8bbeac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T10503.hs:8:6: error:
• Could not deduce: k ~ *
from the context: Proxy 'KProxy ~ Proxy 'KProxy
bound by the type signature for:
h :: (Proxy 'KProxy ~ Proxy 'KProxy) => r
at T10503.hs:8:6-85
‘k’ is a rigid type variable bound by
the type signature for:
h :: forall k r. ((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r
at T10503.hs:8:6
Expected type: ((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r
Actual type: ((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r
• In the ambiguity check for ‘h’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
h :: forall r.
(Proxy (KProxy :: KProxy k) ~ Proxy (KProxy :: KProxy *) => r) -> r
|
