See DynamicTyping.