Nominal型を返すメソッドは自動的にarena引数を受けるようにエクスポートされるはず。 (edited)