流れるような型安全性 - スキーマから型、バリデーション、ドキュメントへ