# Validated Types

Type-level constraints on strings and other input

See the [Refined](https://hackage.haskell.org/package/refined) package