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