type sigs