Good write up. I had a feeling some form of this must've been possible, especially that with newer versions of TS the compiler has become increasingly better a

Good write up. I had a feeling some form of this must've been possible, especially that with newer versions of TS the compiler has become increasingly better at handling recursive types and doesn't throw the dreaded TS2589 error nearly as often.