共通の部分は共通で、 map してても、「同期的に結果が取れる川」って性質は型パラで渡していける