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.htm... data <>Name http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.htm... ( <>name http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.htm... :: Symbol) = <>Name http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.htm... <> <>instance name ~ name' http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.htm... => IsLabel name' http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.htm... (Name http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.htm... name http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.htm...) where <>#if MIN_VERSION_base(4,10,0) fromLabel <> = Name http://hackage.haskell.org/package/named-0.3.0.1/docs/src/Named.Internal.htm... <>#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.h...) class has dropped Proxy since GHC 8.2?