Spec Example 2.12. Compact Nested Mapping
