[Haskell-cafe] TypeApplications and Proxy

[Compl Yue]

> I just wonder if that's already in some library.

I happen to be learning `named`, and read here:

http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.html#local-6989586621679020197 <http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.html#local-6989586621679020197>

data  <>Name <http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.html#Name> ( <>name <http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.html#local-6989586621679019883> :: Symbol) =  <>Name <http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.html#Name>
 <>
 <>instance name ~ name' <http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.html#local-6989586621679020197> => IsLabel name' <http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.html#local-6989586621679020197> (Name <http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.html#Name> name <http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.html#local-6989586621679020196>) where
 <>#if MIN_VERSION_base(4,10,0)
  fromLabel <> = Name <http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.html#Name>
 <>#else
  fromLabel _ = Name
 <>#endif
  {-# INLINE fromLabel #-}
 <>
Does this mean [IsLabel](http://hackage.haskell.org/package/base-4.12.0.0/docs/GHC-OverloadedLabels.html#t:IsLabel <http://hackage.haskell.org/package/base-4.12.0.0/docs/GHC-OverloadedLabels.html#t:IsLabel>) class has dropped Proxy since GHC 8.2?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20200915/d8b257bd/attachment.html>