Hi @jeevith
Days ago I proposed a similar idea where the variable/argument type can be determined by inference: