yah, type deduction ftw