>>397
型の世界において、
ここまて型の抽象性を広げて戻り値として返す。
少なくともここまで狭めた具体的な型を引数として要求する。
その境。