Optional の flatMap も同じく map + flatten で実装されてないはずですね。 flatten が作れないので。