Example of TypeTestCase usage