マズい。Any型はバリアントとして定義しろ。