statically typed..