See StaticTyping.