Statically-typed