Reified Prisms in use