generic signatureの設計的なところはわかったが、実際にtype checkする時にどういう手順で評価していくのかがよくわからないなあ

8:21 PM

型推論との兼ね合いもよくわからない

8:22 PM

全ての部分式にcontextual generic signatureが存在している？

8:24 PM

式に付随してるsignatureはスキーマの方で、applyされてる方はsubstituionか？うーんよくわからない