言われてみれば flatMap の返り値の型を冗長につける経験が最近ぐっと減った気がします