This is a revisions of "Loan パターンのネストは継続モナドでシュッと解決できるよという話"