map nested composite types

[chadwhitacre]

I think Robbelard discusses something like this in his talk.