Make property interface more type-safe
Make property interface more type-safe

Signed-off-by: Austin Seipp <e672e89da89e9883fbf1dfdcea7453aa4c4c7323@gmail.com>

thoughtpolice/hs-leveldb,thoughtpolice/hs-leveldb,thoughtpolice/hs-leveldb