{-# LANGUAGE DuplicateRecordFields      #-}

module TRecordDuplicateRecordFields where

data Foo = Foo { boo :: !String }