Introduced types.