infered type added