なるほど、Neverの定義がある場合はBottomかつデフォルトのNever値が呼ばれるなら確かに推論でどうにかなりそう (edited)