type signature in dt