statically typed