From time to time I come across amazing things made with seemingly advanced type system of typescript (eg. sql engine). What is the trail I should follow if I want learn how to do such things?