Spec Example 8.9. Folded Scalar