{-# LANGUAGE RecordWildCards #-}
record field = Record{..}