more static typing