T18451a.hs:11:15: error:
    • These kind and type variables: a b (c :: Const Type b)
      are out of dependency order. Perhaps try this ordering:
        (b :: k) (a :: Const (*) b) (c :: Const (*) b)
    • In the type signature:
        foo :: forall a b (c :: Const Type b). Proxy '[a, c]