Comment by tomsmeding

Well, it is the type of that, in TS syntax. Few are the statically-typed languages that can even express that type.