embrace static types