In #171, there was a problem with type-checking exposed when a user tried to use the documented examples. This got fixed in #173 but exposed a testing gap.
We type-check in CI, but this doesn't test whether the types get exposed correctly. That should get fixed.
