The reified version