Nextbeat Tech Bar：第六回関数型プログラミング（仮）の会 のLT登壇資料です。 文字起こしというか、詳細については以下のブログ記事にて。 https://ikuma-t.com/blog/make-impossible-states-impossible/
