型による制約を上手く利用しているってこと。