extends to type