Files here are not meant to be executed, only type-checked.

Mirror changes here with examples/typescript/**typetests**