tests: fn/partial, fn/constrain.
inst.