一般の関数の場合見分けられるのは、返り値の型でわかるから？