Completable まで型パラメータにすると、決定不能なパターンがある気がします