<div dir="auto">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.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Aug 22, 2021, 9:37 PM Viktor Dukhovni <<a href="mailto:ietf-dane@dukhovni.org">ietf-dane@dukhovni.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">> On 22 Aug 2021, at 8:14 pm, David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank" rel="noreferrer">david.feuer@gmail.com</a>> wrote:<br>
> <br>
> 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.<br>
<br>
The GHC.Tuple modules (from ghc-prim) are identical in the HEAD and ghc-9.2<br>
branches.  With HEAD I see:<br>
<br>
$ ghci<br>
GHCi, version 9.3.20210809: <a href="https://www.haskell.org/ghc/" rel="noreferrer noreferrer" target="_blank">https://www.haskell.org/ghc/</a>  :? for help<br>
Loaded GHCi configuration from /usr/home/viktor/.ghc/ghci.conf<br>
λ> import GHC.Tuple <br>
λ> :info Solo<br>
type Solo :: * -> *<br>
data Solo a = Solo a<br>
        -- Defined in ‘GHC.Tuple’<br>
instance Applicative Solo -- Defined in ‘GHC.Base’<br>
instance Functor Solo -- Defined in ‘GHC.Base’<br>
instance Monad Solo -- Defined in ‘GHC.Base’<br>
instance Monoid a => Monoid (Solo a) -- Defined in ‘GHC.Base’<br>
instance Semigroup a => Semigroup (Solo a) -- Defined in ‘GHC.Base’<br>
instance Show a => Show (Solo a) -- Defined in ‘GHC.Show’<br>
instance Read a => Read (Solo a) -- Defined in ‘GHC.Read’<br>
instance Foldable Solo -- Defined in ‘Data.Foldable’<br>
instance Traversable Solo -- Defined in ‘Data.Traversable’<br>
<br>
-- <br>
        Viktor.<br>
<br>
</blockquote></div>