軽率多相
from
kind
Llevity Polymorphism
/LugendrePublic/軽率多相(Levity Polymorphism)
https://haskell.jp/blog/posts/2017/13-about-kind-system-part2.html
https://qiita.com/ruicc/items/e2879c44eba77b1e7170
GHC-8.0あたりで導入されたらしい
TypeInType
を使う
https://dev.to/jvanbruegge/what-the-heck-is-polymorphism-nmh?utm_source=pocket_saves#:~:text=polymorphism%20soon.-,Levity%20polymorphism,-In%20Haskell%20all