Refl package:servant

Reflect description to the term level.
>>> reflectDescription (Proxy :: Proxy '[Required, Description "foobar", Lenient])
"foobar"