generated at
io-ts-types

nonEmptyArray NonEmptyString など、更に型安全にしたい時に使える
一覧に軽く目を通しておくと良い
一応io-tsと併用目的っぽい