> The type has to be deduced anyway for type checking the > assignment/initialization. Makes sense. Overseen that.