Types as tests

Types as tests