じゃあ網羅性はOptional扱いで検査されてるのに case .a が書けるのが一番壊れてるところだな