Sorry, I was unclear. I want it re-exported from Data.Tuple, so I don't need to import ghc-prim:GHC.Tuple. I proposed this on the libraries list last year, and the two people who responded agreed.

On Sun, Aug 22, 2021, 9:37 PM Viktor Dukhovni <ietf-dane@dukhovni.org> wrote:
> On 22 Aug 2021, at 8:14 pm, David Feuer <david.feuer@gmail.com> wrote:
>
> One more question: is Solo exported from Data.Tuple yet, or do we still have to depend on ghc-prim and import it from GHC.Magic? It would be really nice to have that fixed by release, and it's so tiny.

The GHC.Tuple modules (from ghc-prim) are identical in the HEAD and ghc-9.2
branches.  With HEAD I see:

$ ghci
GHCi, version 9.3.20210809: https://www.haskell.org/ghc/  :? for help
Loaded GHCi configuration from /usr/home/viktor/.ghc/ghci.conf
λ> import GHC.Tuple
λ> :info Solo
type Solo :: * -> *
data Solo a = Solo a
        -- Defined in ‘GHC.Tuple’
instance Applicative Solo -- Defined in ‘GHC.Base’
instance Functor Solo -- Defined in ‘GHC.Base’
instance Monad Solo -- Defined in ‘GHC.Base’
instance Monoid a => Monoid (Solo a) -- Defined in ‘GHC.Base’
instance Semigroup a => Semigroup (Solo a) -- Defined in ‘GHC.Base’
instance Show a => Show (Solo a) -- Defined in ‘GHC.Show’
instance Read a => Read (Solo a) -- Defined in ‘GHC.Read’
instance Foldable Solo -- Defined in ‘Data.Foldable’
instance Traversable Solo -- Defined in ‘Data.Traversable’

--
        Viktor.