Typeについて書いた