generated at
NoStarIsType
https://haskell.e-bigmoon.com/posts/2019/10-04-nostaristype
https://zenn.dev/mod_poppo/books/haskell-type-level-programming/viewer/types-and-kinds
* をkindとして解釈しないようにする