"kind of constraint" と subtypingってどう違うんですっけ…