Another kind of incompatible constructor.
Creating test context.
Accessing example thunk.
Running examples.  There are more ways to go wrong than right.