Second comment in example 2 should say constant_of(^^x) instead of constant_of(x) Proposed change: Add the missing ^^.