形式検証の視点から再確認したいMaybe型/Option型からnull許容データベースへのデータ変換 - Qiita
https://qiita.com/nekonibox/items/fd57bc9ad861642efbd6