See TODO: I'm not really getting why we put here an empty instance of `Bundle`