undef-safeなブロックというのを考えていた。Undef例外とundef値を統合して透過的かつ安全に使える構文。だが難しかった。考えてみたら、クライスリ圏のあいだの関手を構成する問題。実際に問題の関手を構成すると、適当なdomain（領域理論のdomain）のstric…