haskell - 如何从 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说“不在范围内：数据构造函数'DV.Vault'”

有什么办法可以得到金库的钥匙？

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