valida: Simple applicative validation for product types, batteries included! validaはproduct type (レコードデータ型)に対するvalidation処理を書くためのライブラリ。validation処理はValidator型で表現される。 data Validator e inp a e: エラーを…