Spec Example 2.5. Sequence of Sequences