type Test = iterative box choice { .check(String, Bool) => self, } A test runner interface for writing tests. .check(label, condition) fails the test if condition is false, but doesn't stop it, so every failing check gets reported.