Finally managed to trigger a core lint error with #12045 (closed)

{-# Language    RankNTypes       #-}
{-# Language    TypeApplications #-}
{-# Language    DataKinds        #-}
{-# Language    PolyKinds        #-}
{-# Language    TypeOperators    #-}
{-# Language    GADTs            #-}
{-# Options_GHC -dcore-lint      #-}

import Data.Kind

type Cat ob = ob -> ob -> Type

data (×) :: forall (cat1 :: Cat ob1) (cat2 :: Cat ob2). Cat (ob1, ob2) where
  Prod
    :: forall
         ob1  ob2
         cat1 cat2
         a1   b1
         a2   b2 u.
       cat1 a1 b1
    -> cat2 a2 b2
    -> (×) @u '(a1, a2) '(b1, b2)

log attached from running ghci -ignore-dot-ghci <file>.hs