-dinline-check for symbolic names?

[Michael Sperber]

I'm trying to figure out why this function from ConCat.AltCat is not
getting inlined:

(&&&) :: forall k a c d. (MProductCat k, Ok3 k a c d)
      => (a `k` c) -> (a `k` d) -> (a `k` Prod k c d)
f &&& g = (f *** g) . dup
  <+ okProd @k @a @a
  <+ okProd @k @c @d
{-# INLINE (&&&) #-}

So I put

{-# OPTIONS_GHC -dinline-check ConCat.AltCat.&&& #-}

in the importing module.  Alas, I'm getting no output on &&&.  I can get
output from lots of other functions - I'm guessing it might be because
of the name.

Could somebody help me enable the inline check?  Would be much
appreciated!

-- 
Regards,
Mike