Typle -> type