2:49 PM
associatedtypeにデフォルト型置けるようになってる