Defining typescript generics with type safety

Ok it seems you can do this:

Foo<T extends IBar>() { /* */ }

And that seems to make all calls require the T to implement IBar.