型無しエラーから型有りの何かへの昇格したい場合かつ早期脱出・・・