型引数を持つカスタム型宣言の解説