When are recursive type aliases allowed in Typescript?

For example:

When are recursive type aliases allowed in Typescript?

For example:

Generic types dependencies between function arguments

I’m trying to use binding for a game engine. And I want to add a little typing