如何从Vault获取数据

Question

我使用wai构建一个Web后端。

我想知道在请求的保险库中保存哪种数据。

但我不知道如何检查此保险库中已有哪些密钥。

我找到了https://github.com/HeinrichApfelmus/vault/blob/master/src/Data/Vault/ST/ST.hs

并尝试

import qualified Data.Vault.ST.Lazy as DV

checkVault (DV.Vault v) = do
     putStrLn $ show $ v

但是ghc说＆＃34;不在范围内：数据构造函数'DV.Vault'＆＃34;

我有什么办法可以获得金库的钥匙吗？

或者我在哪里可以知道哪些数据可以保存在这个保险库中。