そう考えるとenumをswitch-caseで分岐してるときって

6:41 AM

その分岐コンテキストをモナドとして値に保持できないから

6:41 AM

try-catchにResultが無いのと同じように

6:42 AM

switch-caseにも対応するモナドが無いんだな

6:42 AM

だから外側と内側を入れ替えたデータ構造を簡易に構成できない（その場でswitch-caseのフローを書き下すまでしかできない）