first product tests
type checking