types tests, static conj