Comment by platz

So to reify a type involves making an abstraction, which is odd because reify seems the inverse of making an abstraction...