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.htm... <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.h... <http://hackage.haskell.org/package/base-4.12.0.0/docs/GHC-OverloadedLabels.html#t:IsLabel>) class has dropped Proxy since GHC 8.2?