module TRecord where data Foo = Foo { foo :: Int }