Writing about TS types