static types