「関数型ドメインモデリング」関数からサービス、ワークフローまで一貫した設計思想を得ることができる良書