Result constructor takes both values.