{-# LANGUAGE RecordWildCards #-}
v = A { a = 1, b = 2, c = 3 }