T14066e.hs:13:59: error:
    • Couldn't match kind ‘k1’ with ‘*’
      ‘k1’ is a rigid type variable bound by
        the type signature for:
          j :: forall k k1 (c :: k1) (b :: k).
               Proxy a -> Proxy b -> Proxy c -> Proxy b
        at T14066e.hs:12:5-61
      When matching kinds
        k :: *
        c :: k1
      Expected kind ‘c’, but ‘b'’ has kind ‘k’
    • In the first argument of ‘Proxy’, namely ‘(b' :: c')’
      In an expression type signature: Proxy (b' :: c')
      In the expression: (p1 :: Proxy (b' :: c'))
    • Relevant bindings include
        p2 :: Proxy c (bound at T14066e.hs:13:27)
        p1 :: Proxy b (bound at T14066e.hs:13:10)
        j :: Proxy a -> Proxy b -> Proxy c -> Proxy b
          (bound at T14066e.hs:13:5)