> 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

data Name (name :: Symbol) = Name

instance name ~ name' => IsLabel name' (Name name) where
#if MIN_VERSION_base(4,10,0)
  fromLabel = 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) class has dropped Proxy since GHC 8.2?