introduce data-of types