(Int|String) -> (Int|String) と ((Int) -> Int)&((String) -> String) これはわかる、引数で入れた型が返り値で出てくるっていう依存性が消えてるから違う