This really isn't a big deal as it resolved via type universes.