てことは、pairを返す関数の返り値をtieで受けたりもできる？便利そう。