typ -> type