うーん、 1 についてはこんなに長い式で型が書いてないと可読性悪いし、 2 については冗長でも結局 then 書くのも同じくらい面倒だし、 3 についてもこんなに複雑な式をコピペで使い回すことなんてほぼないし・・・。