Statically typed