head.hackage: winery fails core lint (Kinds don't match in type application)
*** Core Lint errors : in result of CorePrep ***
<no location info>: warning:
Kinds don't match in type application:
Type variable: a_11 :: *
Arg type: Typeable (Term -> Vector Int) :: Constraint
Linted Arg kind: Constraint
In the RHS of $dTypeable_rZgX :: Typeable (Term -> Vector Int)
In a case alternative: (Fingerprint unbx_s10uJ :: Word64#,
unbx1_s10uK :: Word64#)
Substitution: <InScope = {}
IdSubst = []
TvSubst = []
CvSubst = []>
Example pipeline: https://gitlab.haskell.org/ghc/head.hackage/-/pipelines/60402