ただ、現状のネストしたgenerics型の振る舞いから予想すると、assoctypeにはなれない気がする