generated at
TypeInType
#GHC拡張
Haskellで依存型できる


以下3つも内包する
PolyKinds
DataKinds
KindSignatures

https://haskell.jp/blog/posts/2017/13-about-kind-system-part2.html#type-in-type
https://github.com/u2zv1wx/neut
https://notogawa.hatenablog.com/entry/2016/10/20/001812
https://matsubara0507.github.io/posts/2018-12-18-ghc8x.html