そうか、 typecheck は HIR→MIR の段階で行われるから HIR の式からは型情報が取れない……？
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。
