C++23では、optional型にモナド操作が追加されていて、確かに返す値は同じoptional型だから、(プログラミングにおける)モナドの定義的には、make_optionalも含めて考えれば、無理やりモナド値を操作していると言えなくもないが・・・そもそも唐突にモナド操作という語を出されて、理解できる人がいるのだろうか #fedibird