モナド的な何かに向かって において、「false かそれ以外か」という二元論のみに基づいた (つまり、Haskell のように特殊なコンテナを用いない) Maybe モナドの実現可能性について考察しました (実装)。一応それはうまくいったように思うんですが、今度は、…