start writing types tests