newtype --> data for V, yielding more transparent Core.