Add inferring type