Some basic type-inferring stuff