Matrixもそうですけど型じゃなくて型が持つ値のみを使う場合にいい感じの書き方無いですかねえ。スペシャライズはどうも面倒……