Flatten data records

[ip1981]

Let's have

data Foo = Foo
{ foo1 :: Int
, foo2 :: String
}

data Bar = Bar
{ bar1 :: Int
, bar2 :: Foo
}

I'd like to have CSV for Bar:

bar1, foo1, foo2
1, 1, "foo"

How can I do that? Maybe with nested records too, avoiding boilerplate code, using generics, etc .

P. S. Realization could add a new encoding option in EncodeOptions.