うーん、value restrictionだと危険かもしれないのかな。

SMLがあれば、試せるのか。