data-checked (hackage): Type-indexed runtime-checked properties for Haskell
Keywords: bsd3|data|library