概要 cats に含まれる Validated は、複数の入力値のバリデーションを一つにまとめて返すことができる大変便利な型です。 typelevel.org 業務において、入力値のバリデーションを行った値をさらに別の入力値として使いたいというケースがままあり、プロジェ…