A Haskell library for kind-polymorphic manipulation and inspection of Proxy values