「Tはmapメソッドが呼び出せる」って制約を推論器で扱わないといけない

4:47 AM

けどタプルはnominalじゃないからメソッドが生えてないし、ましてや特別な扱いのメソッドだから