type sigs & warnings