seems like it would, because you could figure out what the closed universe of types is