2019-04-10 Kindの入門記事 diogocastro.com 記事を読むには以下のextensionの理解が必要。 KindSignatures haskell - Kind Signatures - Stack Overflow ExplicitForAll MagicHash haskell - What are hashes (#) used for in the library's source? - Stack Overflow ConstraintKinds haskell - ConstraintKinds explained on a super simple example - Stack Overflow DataKinds data kinds - What is the DataKinds extension of Haskell? - Stack Overflow PolyKinds haskell - Ambiguous kind variable with PolyKinds - Stack Overflow TypeInType haskell - Kind-polymorphism in classes - Stack Overflow どこかに日本語訳があるはずなのだが、見つけられなかった。