Using `annType` here is necessary to propagate the info about the inferred type, rght?