(a, b) -> c に対しては
a -> (b -> c) がいるじゃん?

a -> (b, c) は孤独なの?