Remove Proxy from Yesod Classy Prelude?

[MaxGabriel]

Currently classy-prelude-yesod exports Proxy from https://hackage.haskell.org/package/http-conduit-2.3.7.3/docs/Network-HTTP-Client-Conduit.html#t:Proxy.

However, this conflicts in name with the fairly common Data.Proxy.Proxy. You also get a fairly confusing type error if you try to use the common (Proxy :: Proxy X) idiom with just the classy-prelude Proxy in scope:

src/Mercury/Purpose/Types.hs:74:69-77: error:
    • Expected kind ‘* -> *’, but ‘Proxy’ has kind ‘*’
    • In an expression type signature: Proxy Int
      In the first argument of ‘getTypeScriptDeclarations’, namely
        ‘(Proxy :: Proxy Int)’
      In the expression: getTypeScriptDeclarations (Proxy :: Proxy Int)
   |
74 |   getTypeScriptDeclarations _ = getTypeScriptDeclarations (Proxy :: Proxy Int) -- PurposeProxy.PurposeCodeData

Thoughts on removing that export from classy-prelude?

[snoyberg]

No objection

…

On Tue, Jan 28, 2020, 2:06 AM Maximilian Tagher ***@***.***> wrote: Currently classy-prelude-yesod exports Proxy from https://hackage.haskell.org/package/http-conduit-2.3.7.3/docs/Network-HTTP-Client-Conduit.html#t:Proxy . However, this conflicts in name with the fairly common Data.Proxy.Proxy. You also get a fairly confusing type error if you try to use the common (Proxy :: Proxy X) idiom with just the classy-prelude Proxy in scope: src/Mercury/Purpose/Types.hs:74:69-77: error: • Expected kind ‘* -> *’, but ‘Proxy’ has kind ‘*’ • In an expression type signature: Proxy Int In the first argument of ‘getTypeScriptDeclarations’, namely ‘(Proxy :: Proxy Int)’ In the expression: getTypeScriptDeclarations (Proxy :: Proxy Int) | 74 | getTypeScriptDeclarations _ = getTypeScriptDeclarations (Proxy :: Proxy Int) -- PurposeProxy.PurposeCodeData Thoughts on removing that export from classy-prelude? — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#187?email_source=notifications&email_token=AAAMCBZ5I2UODXNELP377VLQ75ZJHA5CNFSM4KMKGF52YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4IJCPOHQ>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAAMCBYIPJX72T5ZVV57BMTQ75ZJHANCNFSM4KMKGF5Q> .

[BebeSparkelSparkel]

@MaxGabriel Were you going to create a pr for this?