Therefore, is a type of kind ∗ → ∗ {\displaystyle *\rightarrow *} .
それゆえに、は ∗ → ∗ {\displaystyle *\rightarrow *} カインドの型である。