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 wrote:

...

On 22 Aug 2021, at 8:14 pm, David Feuer 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.