返り値の型に出現するかどうかはチェックできるんじゃないですかね。頑張れば