From-value construction