blob: e2817fe7764609959f0eb3b78c605fb09420d329 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T10503.hs:8:6: error:
Couldn't match kind ‘k’ with ‘*’
‘k’ is a rigid type variable bound by
the type signature for:
h :: ((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r
at T10503.hs:8:6
Expected type: Proxy 'KProxy
Actual type: Proxy 'KProxy
In the ambiguity check for the type signature for ‘h’:
h :: forall (k :: BOX) r.
((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ‘h’:
h :: forall r.
(Proxy (KProxy :: KProxy k) ~ Proxy (KProxy :: KProxy *) => r) -> r
|