「これの返り値の型は、チェックが必要なやつだぜ！！！」って使う人に教える仕組み・・・？＞＜（言い換えるとそうじゃないやつを「これはいちいちチェックしなくてもだいじょうぶだよ！」って表現するためのもの・・・？＞＜）