Papers tagged type and effect system