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-85
    • 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