Spec Example 2.3. Mapping Scalars to Sequences