変数はバリアントオンリーにせざるを得ないのかな。