Tagged data-abstraction