Research delayed-extension type parameters

[poteat]

There is a theory that explicit type Foo<T extends string> = T syntax as opposed to type Foo<T> = T extends string ? T : never syntax causes TS eager evaluation to happen - it could be that migrating to the latter form could improve inference performance / allow more "magically cyclic" structures.