昨日の未指定 associatedtype は仮定の話だけど、クロージャ型は現実の課題。