valida (hackage): This package provides an applicative validator with support for contravariance. This makes building validators for product types idiomatic and simple. Many common utilities for building validators are also included.
Keywords: data|library|mit|validation|applicative-functors|contravariant-functors|haskell|profunctors|validator