generated at
Quick Look
GHC-9.2



非可述多相の型推論
ImpredicativeTypesの内部のアルゴリズムのこと

https://techblog.asahi-net.co.jp/entry/2022/05/23/162236
https://drive.google.com/file/d/1kPEGux6w_9GgTziRwfDCPH5fRea_vhls/view
Haskell Day 2021のスライド
ちょっとだけ出てくる