nullable型の概念を拡張する、より一般的で厳格な概念があるが、これは例外的なケースの明示的な処理を強制するoption型に由来するものである。