Free Type Testing