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