おー、specializeされてるなら具体型が静的にわかるから最適化できるってことかな、まさにこの前話してたようなやつっすね！