Maintaining types if known