Synonym with a different type.