associatedtype でも型パラでも書けるのか。