型システム上の扱いで分けて考えるとスッキリするよね。