TypingExamples: slightly clearer way to test