(Note: Haskell documentation uses the same arrow for both function types and kinds.)
(注記: Haskellのドキュメントでは関数の型とカインドの両方で同じ矢印を使っている。