T5700.hs:8:3-9: Splicing declarations
    mkC ''D
  ======>
    instance () => C D where
      {-# INLINE inlinable #-}
      inlinable _ = GHC.Tuple.()