facts (hackage): Refined types.
Keywords: bsd3|data|library|haskell|refinement-types