Extending Types
It is possible to extend an interface
(copy members from another type):
It is also possible to extend from multiple types:
The extends
keyword works only on interfaces and classes, for types use an intersection:
It is possible to extend a type using an inference but not vice versa: